there is "use Traversable" at the top of the file, so it's correct ?