Also 2: A `use` for `Traversable` is missed.