Candidates for ghc-typelits-knownnat