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. Stefan