[Haskell-cafe] double existential type

[Ozgur Akgun]

Hello all,

I have a syntax issue (hopefully!)

-- this is perfectly fine:
data Unary = forall a. Unary a

-- this one as well:
data Binary = forall a. Binary a a

-- but not this one
-- parse error on input forall :(
data Binary' = forall a. forall b. Binary' a b

I tried different kinds of bracketings and orderings but no luck...


Best,
-- 
Ozgur Akgun
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100324/af129b72/attachment.html