clauseQTyConName        = libTc (fsLit "ClauseQ")        clauseQTyConKey
clauseQTyConName        = libTc (fsLit "ClauseQ")        clauseQTyConKey
clauseQTyConName        = libTc (fsLit "ClauseQ")        clauseQTyConKey