Type classes for Arrows.