Generalise monadic maps to traversals.