toFormula (And a b)                = Z.mkAnd =<< sequence [toFormula a, toFormula b]
toFormula (And a b)                = Z.mkAnd =<< sequence [toFormula a, toFormula b]
toFormula (And a b)                = Z.mkAnd =<< sequence [toFormula a, toFormula b]