conj' :: Conjunction -> Conjunction -> Conjunction
Conjunction ps `conj'` Conjunction qs = Conjunction (ps ++ qs)
conj' :: Conjunction -> Conjunction -> Conjunction
Conjunction ps `conj'` Conjunction qs = Conjunction (ps ++ qs)
Conjunction ps `conj'` Conjunction qs = Conjunction (ps ++ qs)