Description
A Haskell utility package that extends constraint-manipulation workflows. It provides extra helpers for projects that already use typeclass constraints as explicit evidence in code.
Developers use it in advanced type-level libraries to reduce boilerplate around constraints. It is most useful when paired with other generic-programming packages.