27 Jan
2006
27 Jan
'06
8:33 a.m.
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?