-- type constructor
data Clause

-- constructors:
Cl :: ClBody -> Clause
ClNot :: ClBody -> Clause
ClOr :: [Clause] -> Clause
ClInline :: Id -> Clause
ClNinline :: Id -> Clause