Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Why do you think that https://github.com/DanielG/ghc-mod 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/DanielG/ghc-mod is a good alternative to ghc-typelits-extra