Data.Semigroupoid.Product

data Product j k a b

distributeDualProduct

factorDualProduct