Error when ($) is used, but no error without

[Brian Hulley]

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.