Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Why do you think that https://github.com/ndmitchell/ghc-make is a good alternative to ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Why do you think that https://github.com/ndmitchell/ghc-make is a good alternative to ghc-typelits-extra