haskell-ghc-typelits-natnormalise