This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
This package, with assistance of the package polydata,
allows one to pass data, particularly functions, together with a constraint which describes how
polymorphic that data is. This constraint can then be used in a generic way to produce quite polymorphic functions,
for example, a "map" function that works on a pair of two different types.
This package is separate from polydata to reduce dependencies,
however if you want to do anything non-trivial you'll probably want to use the constraint manipulation tools in
polydata. However, if you have your own way of manipulating
constraints, you could just use this package directly and only.