mtl-extras

Higher order versions of MTL classes.

Higher order versions of MTL classes to ease programming with polymorphic recursion and reduce UndecidableInstances.

See http://flint.cs.yale.edu/trifonov/papers/sqcc.pdf for further discussion of the approach taken here.