The \Traversable is **really** required, how you write it?