map
BinaryExpr
CompositeExpr
Empty
Expr