qTyConName, nameTyConName, fieldExpTyConName, patTyConName,
    fieldPatTyConName, expTyConName, decTyConName, typeTyConName,
    tyVarBndrTyConName, matchTyConName, clauseTyConName, funDepTyConName,
    predTyConName, tExpTyConName, injAnnTyConName, kindTyConName,
    overlapTyConName, derivStrategyTyConName :: Name
qTyConName             = thTc (fsLit "Q")              qTyConKey
qTyConName, nameTyConName, fieldExpTyConName, patTyConName,
    fieldPatTyConName, expTyConName, decTyConName, typeTyConName,
    tyVarBndrTyConName, matchTyConName, clauseTyConName, funDepTyConName,
    predTyConName, tExpTyConName, injAnnTyConName, kindTyConName,
    overlapTyConName, derivStrategyTyConName :: Name
qTyConName             = thTc (fsLit "Q")              qTyConKey
qTyConName             = thTc (fsLit "Q")              qTyConKey