``Cannot instantiate a type variable with a forall-type''
30 Jan
2003
30 Jan
'03
8:42 p.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
8261
Age (days ago)
8261
Last active (days ago)
0 comments
1 participants
participants (1)
-
Jon Cast