Proposal: Deprecate ExistentialQuantification

Niklas Broberg niklas.broberg at gmail.com
Sun Jun 28 07:19:16 EDT 2009


> ... "constructor Foo has the type forall a . (Show a) => a".

Eh, of course I meant "the type forall a . (Show a) => a -> Foo", but
you understood that I'm sure. :-)

Cheers,

/Niklas


More information about the Haskell-prime mailing list