And yes, the default is `Traversable`