A Traversal' s a shows that s has 0-to-many as inside of it.
toListOf :: Traversal' s a -> (s -> [a])
Any type t which is Traversable automatically has that traverse :: Traversal (t a) a.
We can use a Traversal to set or map over all of these a values
> set traverse 1 [1..10]
[1,1,1,...