Description
A Haskell utility library for writing GHC type-checker plugins. It provides helpers for plugin authors who need to inspect constraints, emit evidence, or extend type-checking behavior.
Developers use it in advanced compiler plugins and type-level libraries. Plugins can change how code type-checks, so they should be tested across GHC versions and documented carefully.