maybeExprToPred :: Traversal' QExpr (Maybe QExpr) -> Maybe QExpr -> State RuleState (Maybe QExpr -> Bool)
maybeExprToPred path (Just e) = pJust <$> exprToPred (path._Just) e
maybeExprToPred :: Traversal' QExpr (Maybe QExpr) -> Maybe QExpr -> State RuleState (Maybe QExpr -> Bool)
maybeExprToPred path (Just e) = pJust <$> exprToPred (path._Just) e
maybeExprToPred path (Just e) = pJust <$> exprToPred (path._Just) e