kind annotations

S.M.Kahrs S.M.Kahrs at
Fri Jan 27 08:30:02 EST 2006

It doesn't have a ticket yet,
but I would propose that kind annotations were adapted.

I have been bitten on a couple of occasions (working with HO type variables)
by kind inference putting my type vars into *, and although there is usually
a work-around, it is usually mesmerisingly ugly.


More information about the Haskell-prime mailing list