1 Look at the humongous type that Hindley-Milner infers for this tiny program 2014171 points56 commentsProgramming Languages details