derivClauseQTyConName   = libTc (fsLit "DerivClauseQ")   derivClauseQTyConKey
derivClauseQTyConName   = libTc (fsLit "DerivClauseQ")   derivClauseQTyConKey
derivClauseQTyConName   = libTc (fsLit "DerivClauseQ")   derivClauseQTyConKey