That's a good place to start. Basing it on the list monad instead of the option monad gives you traversals with monoidal summaries.