On Mon, 17 Sep 2007, Don Stewart wrote: > Maybe this should all just go in an external -package tuple, especially > since its just duplicating and specialising base's Control.Arrow? Isn't it the other way round? The methods (***) and (&&&) are implemented specifically for pairs and are then plugged into the Arrow (->) instance.