Adding traverse to either.
Adding traverse and sequence.
- Might be a problem of always doing a right projection?