Proposal: Add Compositor class as superclass of Arrow

Ashley Yakeley ashley at
Sun Oct 28 22:34:07 EDT 2007

I wrote:
> (darcs patch attached to ticket)
> Proposal period: two weeks, until 10-27

Consensus was to add this under the name Category:

class Category cat where
   id :: cat a a
   (.) :: cat b c -> cat a b -> cat a c

id and (.) would not replace those in the Prelude. Category would become 
a superclass of the existing Arrow class.

Updated code, pushed patches to base, closed ticket "fixed". Thanks 

Ashley Yakeley

More information about the Libraries mailing list