add typeRepKey :: TypeRep -> IO Int