Specialized biases for Bi{functor,foldable,traverse}.
Functions for combining type parameters on bifunctorial typeclasses.