Control.Monad.Product
data
Product
g h a