Practical type inference for arbitrary-rank types (2011) [pdf] | Heykuki News