Explicit quanti in Haskell. Available from http://research.microsoft.com/Users/simonpj/Haskell/quantification.html (1998)

by Peyton Jones, S