runExprRule :: ExprRule -> QExpr -> Maybe [Binding]
runExprRule rule expr =
    if exprRulePred rule expr then
        readExprExprs expr (exprRuleBindings rule) else Nothing
runExprRule :: ExprRule -> QExpr -> Maybe [Binding]
runExprRule rule expr =
    if exprRulePred rule expr then
        readExprExprs expr (exprRuleBindings rule) else Nothing
runExprRule rule expr =
    if exprRulePred rule expr then
        readExprExprs expr (exprRuleBindings rule) else Nothing