Products of bifunctors

I found this useful recently; I'm not sure if this is the place for it. There's `Control.Bifunctor.Composition.CompB`, but hackage says category-extras is obsolete. `Product f g a b`  is roughly `CompB (,) f g a b`, with more instances. What's the best strategy here?