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 _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime