typeNatKindCon, typeSymbolKindCon :: TyCon
-- data Nat
-- data Symbol
typeNatKindCon    = pcTyCon False NonRecursive True typeNatKindConName    Nothing [] []
typeNatKindCon, typeSymbolKindCon :: TyCon
typeNatKindCon    = pcTyCon False NonRecursive True typeNatKindConName    Nothing [] []
typeNatKindCon    = pcTyCon False NonRecursive True typeNatKindConName    Nothing [] []