On 9/21/06, Bruno Oliveira <[EMAIL PROTECTED]> wrote:
Have you tried to type check this example (the "g")?
No. Please excuse me, as I wasn't by my GHC at the time. Let's try:
data SimpExist a = Base a
| SimpExist (SimpExist (forall x . x -> a))
g :: SimpExist (forall a . a -> a)
g = Base id
h = SimpExist g
data WrapExist = forall a . WrapExist (SimpExist a)
i = WrapExist h
I'm familiar with the use for "forall" to mean "exists", but I am
baffled by h's ineffable type!
Jim
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
