Bifunctors, Biapplicative, Bifoldable, Bitraversable