Logic.Connectives

data Conj a

data Disj a