Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=642588
Copy and paste this citation
SIMON PEYTON JONES,
DIMITRIOS VYTINIOTIS,
STEPHANIE WEIRICH
and MARK SHIELDS
(2007).
Practical type inference for arbitrary-rank types. Journal of Functional Programming, 17
,
pp 1-82
doi:10.1017/S0956796806006034