@hackage prelude-extras0.4.0.3

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.