Symbol package:ghc-typelits-natnormalise