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
