Tip

data Equality a

data a :=>: b

data And a b

data Or a b

data Neg a

data Forall a b

data Exists a b

(===)

(=/=)

bool

(==>)

(.&&.)

(.||.)

neg

question

forAll

exists