Data.Bifunctor.Product

data Product f g a b