Description
A Haskell library for manipulating typeclass constraints as first-class values. It helps advanced code pass, combine, prove, or transform constraints that normally live only in type signatures.
Developers use it in generic programming, dependent-style APIs, and libraries that need stronger compile-time evidence. This is specialist type-level infrastructure, usually installed as a dependency.