Bitraversable

**Bitraversable** is a kind of traversable but with a 2-arity.

**Suggested Incarnations**
- `Either.t`
- `Pair.t`

**Links**
- https://hackage.haskell.org/package/base-4.16.0.0/docs/Data-Bitraversable.html