prelude-extras

Higher order versions of Prelude classes.

Higher order versions of Prelude 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.