manifest
TypeKey
mapValues
TypeBoundMap
TypeKeyMap
mapValuesWiden
TypeKeyMap