An attempt at a simple compiler, where type checking and inference is base on the paper: Partical type inference for arbitrary-rank types, by Simon Peyton-Jones et al.