Re: Proposal: Add Compositor class as superclass of Arrow

Twan van Laarhoven wrote:

-- | 'cat' can work with eithers -- Dual to CategoryPair class Category cat => CategoryChoice cat where inl :: cat a (Either a b) inr :: cat b (Either a b) mirror :: cat (Either a b) (Either b a) left :: cat a b -> cat (Either a c) (Either b c) right :: cat a b -> cat (Either c a) (Either c b) (+++) :: cat a b -> cat c d -> cat (a,c) (b,d)

I think this was meant: (+++) :: cat a b -> cat c d -> cat (Either a c) (Either b d) Isaac