On 7/16/12 1:10 AM, Edward Kmett wrote: > If we are going to introduce another superclass, I would much rather > introduce that one, as it has a better theoretical motivation and the > additional laws regarding dinatural transformations and the extra structure > that follows. +1. -- Live well, ~wren