Look at the humongous type that Hindley-Milner infers for this tiny program
Fascinating behavior. Since this is an edge, would it ever occur in human-written code? Could there be a situation where a computer would end up generating such code?