I propose to deprecate Data.FunctorM in favour of Data.Traversable: http://www.haskell.org/ghc/dist/current/docs/libraries/base/Data-Traversable.html