I wrote an article on this example: http://blog.emillon.org/posts/2014-05-21-mak...

		emillon on Aug 4, 2014 \| parent \| context \| favorite \| on: Look at the humongous type that Hindley-Milner inf... I wrote an article on this example: http://blog.emillon.org/posts/2014-05-21-making-type-inferen... At first I expected something of the form O(2^n) too but DEXPTIME actually contains O(2^p(n)) where p is a polynomial.