mapValues
TypeBoundMap
TypeKeyMap
mapValuesWiden
TypeKeyMap