@hackage mtl-extras0.1

Higher order versions of MTL classes

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      Index Int <vlad.z.4096@gmail.com>

    • Links

    • Versions

      • 0.1 Fri, 12 Aug 2016

    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.