Bifoldable

**Bifoldable** is a kind of foldable but with a 2-arity.

**Suggested incarnations**
- `Either.t`
- `Pair.t`

**Links**
- https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-Bifoldable.html#t:Bifoldable