Candidates for ghc-typelits-natnormalise