toFormula (Or a b)                 = Z.mkOr  =<< sequence [toFormula a, toFormula b]
toFormula (Or a b)                 = Z.mkOr  =<< sequence [toFormula a, toFormula b]
toFormula (Or a b)                 = Z.mkOr  =<< sequence [toFormula a, toFormula b]