[Haskell] Higher kind type inference paper

[Edsko de Vries]

Hi,

Are there any papers that describe how higher kind type inference (and I
really mean higher kind, not higher rank) is done?

Thanks,

Edsko
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell