Traversable class generalises the function formerly known as
mapM :: Monad m => (a -> m b) -> [a] -> m [b] to work with
Applicative effects over structures other than lists.
Definition of Traversable
This modified text is an extract of the original Stack Overflow Documentation created by following contributors
and released under CC BY-SA 3.0