Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Primary LanguageHaskellOtherNOASSERTION