Map an effectful function over the tree in post-order: parent effect is run after children.
Map an effectful function over the tree in pre-order: parent effect is run before children.
Map an effectful function over the tree in post-order: parent effect is run after children.