kind annotations

[Ross Paterson]

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?