ghc-corroborate (hackage): GHC API for typechecker plugins.
Keywords: ghc|library|mpl|plugin|type-system