kind annotations

Ross Paterson ross at
Fri Jan 27 08:33:04 EST 2006

On Fri, Jan 27, 2006 at 01:30:02PM +0000, S.M.Kahrs wrote:
> 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.

Do you have an opinion on the alternatives discussed under KindInference?

More information about the Haskell-prime mailing list