Brian Hulley wrote:

f,g :: (forall a. CC a => a Int) -> Int -- not allowed

delete the "not allowed" comment ;-)
It's not so simple as I'd thought so I'd be interested to know the reason for $ making a difference too.

Regards, Brian.
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to