j
k
j a
j l
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.
Back to the thread
Back to the list