FPH: First-class Polymorphism for Haskell Declarative, constraint-free type inference for impredicative polymorphism

by Dimitrios Vytiniotis , Stephanie Weirich , Simon Peyton Jones