In `Map k v`, `v` stands for "value". So, since `Map.keys` gives you the `k`eys of the `Map`, `Map.values` should give you the `v`alues of the `Map`. I hence propose to add the following definition: `Map.values = Map.elems`