La clase Traversable generaliza la función anteriormente conocida como mapM :: Monad m => (a -> mb) -> [a] -> m [b] para trabajar con efectos Applicative sobre estructuras distintas a las listas.
Traversable
mapM :: Monad m => (a -> mb) -> [a] -> m [b]
Applicative