Add `traverse_join` instance and syntax to specify function shape explicitly.
Add `flatMap2` and `flatMap3` syntax.
Add note about an hypothetical better syntax.