@hackage typelevel-rewrite-rules1.0

Solve type equalities using custom type-level rewrite rules

A typechecker plugin which allows the user to specify a set of domain-specific rewrite rules. These get applied whenever the compiler is unable to solve a type equality constraint, in the hope that the rewritten equality constraint will be easier to solve.