Normalise GHC.TypeLits.Nat equations
Why do you think that https://github.com/DanielG/ghc-mod is a good alternative to ghc-typelits-natnormalise
Normalise GHC.TypeLits.Nat equations
Why do you think that https://github.com/DanielG/ghc-mod is a good alternative to ghc-typelits-natnormalise