new draft post: Just LOOK at the humongous type that Hindley-Milner infers for this tiny program!