Practical type inference for arbitrary-rank types (2007)

by S Peyton Jones, D Vytiniotis, S Weirich, M Shields
Venue:Journal of Functional Programming