pBinaryOp :: (QOp -> Bool) -> ExprPred -> ExprPred -> ExprPred
pBinaryOp opp lp rp (BinaryOp op l r _) = opp op && lp l && rp r
pBinaryOp :: (QOp -> Bool) -> ExprPred -> ExprPred -> ExprPred
pBinaryOp opp lp rp (BinaryOp op l r _) = opp op && lp l && rp r
pBinaryOp opp lp rp (BinaryOp op l r _) = opp op && lp l && rp r