Interface declaration missing on Traversable def