defined map on traversable