interface Functor t => Foldable t => Traversable t where
traverse : Applicative f => (a -> f b) -> t a -> f (t b)Un Traversable est un Functor + Foldable dont les éléments peuvent être visités dans l'ordre tout en exécutant un effet Applicative, en recollectant les résultats dans la même forme. traverse f xs applique f à chaque élément (chaque f x étant un calcul à effet) et reconstruit la structure à l'intérieur de l'effet.