Candidates for ghc-typelits-extra