In article <[EMAIL PROTECTED]>,
Ben Rudiak-Gould <[EMAIL PROTECTED]> wrote:
> > Bear in mind you can't even write IO (forall t. whatever) in Haskell.
>
> True, but why is this? Is there a deep reason why we can use nested
> foralls as the arguments to (->), but not as the arguments to any other
> type constructor?
Apparently it makes type-checking Very Very Hard. Simon PJ may have
explained it to me ("impredicative", he called it), but I don't remember
offhand.
--
Ashley Yakeley, Seattle WA
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
