On Fri, Jul 26, 2013 at 6:44 PM, Andreas Abel <andreas.abel at ifi.lmu.de> wrote: > mapSnd f = (id *** f) As a very small aside, this is just `second` from Control.Arrow. Erik