Product package:ghc-typelits-natnormalise