typelevel-rewrite-rules-1.0: Solve type equalities using custom type-level rewrite rules
Safe HaskellNone
LanguageHaskell2010

TypeLevel.Rewrite.Internal.TypeTerm

Documentation