Conor McBride and I would like to propose some new classes for traversals of containers, based around applicative functors (the abstraction formerly known as idioms): http://www.soi.city.ac.uk/~ross/traversals/ They are proposed for the base package, and would replace FunctorM. Comments most welcome.