disj :: Disjunction -> Disjunction -> Disjunction
Disjunction dps `disj` Disjunction dqs = Disjunction (dps ++ dqs)
disj :: Disjunction -> Disjunction -> Disjunction
Disjunction dps `disj` Disjunction dqs = Disjunction (dps ++ dqs)
Disjunction dps `disj` Disjunction dqs = Disjunction (dps ++ dqs)