clauseTyConName        = thTc (fsLit "Clause")         clauseTyConKey
clauseTyConName        = thTc (fsLit "Clause")         clauseTyConKey
clauseTyConName        = thTc (fsLit "Clause")         clauseTyConKey