kind annotations

[Manuel M T Chakravarty]

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?

But we should probably ensure that, if the kind inference proposals
don't make it, we revisit the possibility of having kind annotations.
(Not sure what the best way is to ensure this in our process.  Isaac?)

Manuel