Add an example of how to get all right values after `traverse`ing an `array` with a function that returns a `TaskEither`

[invfo]

The goal is to document this pattern