poly-type-inference.pdf