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? _______________________________________________ Haskell-prime mailing list [email protected] http://haskell.org/mailman/listinfo/haskell-prime
