I wrote an article on this example: http://blog.emillon.org/posts/2014-05-21-making-type-inference-explode.html http://blog.emillon.org/posts/2014-05-21-making

I wrote an article on this example: http://blog.emillon.org/posts/2014-05-21-making-type-inference-explode.html 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.