S spacemanaki.com Look at the humongous type that Hindley-Milner infers for this tiny program 171 points luu 12 years ago 56 comments