Allows Category, Arrow, and ArrowChoice instances for Pipes.Pipe, using newtype wrapper 'Shaft' See also slides. Changelog 0.3.0.0 Shaft destructor is now named fromShaft