Made specification about Traversable more detailled