Traverse extends Functor and Foldable