exprToPred path (Paren e _) = pParen <$> exprToPred (path.paren_exprL) e
exprToPred path (Paren e _) = pParen <$> exprToPred (path.paren_exprL) e
exprToPred path (Paren e _) = pParen <$> exprToPred (path.paren_exprL) e