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