Data.Semigroupoid.Coproduct
data
Coproduct
j k a b
distributeDualCoproduct
factorDualCoproduct