Control.Monad.Product

data Product g h a