put Foldable and Traversable in for the new representation of Space