Data.Bifunctor.Product
data
Product
f g a b