I can build a data structure that is a member of the Traversable typeclass (e.g. List or Map), by mapping (map, map
Traversable
List
Map
map