``Cannot instantiate a type variable with a forall-type''
31 Jan
2003
31 Jan
'03
1:42 a.m.
Why does GHC place this constraint? I would expect forall to be predicative, and a type variable to range over all types, but obviously I'm missing something. Jon Cast
8193
Age (days ago)
8193
Last active (days ago)
0 comments
1 participants
participants (1)
-
Jon Cast