Added Foldable and Functor as supers of Traversable