Data.Semigroupoid.Product
data
Product
j k a b
distributeDualProduct
factorDualProduct