Data.Functor.Product
data
Product
f g a