``Cannot instantiate a type variable with a forall-type''

Jon Cast jcast@ou.edu
Thu, 30 Jan 2003 19:42:12 -0600


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