MARANGET, L. (2007). Warnings for pattern matching. Journal of Functional Programming, 17(3), 387–421. doi:10.1017/S0956796807006223
Hindley, R. (1969). The Principal Type-Scheme of an Object in Combinatory Logic. Transactions of the American Mathematical Society, 146, 29–60. https://doi.org/10.2307/1995158