-- type constructor
data ClBody

-- constructors:
ClEqual :: Term -> Term -> ClBody