21 Sep
2006
21 Sep
'06
6:07 p.m.
On 9/21/06, Bruno Oliveira
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