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, together with its dependency polydata-core,
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.