Data.Semigroupoid.Coproduct

data L a

data R a

data Coproduct j k a b

distributeDualCoproduct

factorDualCoproduct