typo: ``\Traversable``