Docs for Traverse, with minor notes in Foldable/Functor.