Add bifunctor-related instances