Data.Category.Coproduct

data I1 a

data I2 a

data (:++:)

data Inj1 c1 c2

data Inj2 c1 c2

data f1 :+++: f2

data CodiagCoprod k

data Cotuple1 c1 c2 a

data Cotuple2 c1 c2 a

data (:>>:)

data NatAsFunctor f g