manifest
TypeKey
mapValues
TypeKeyMap
TypeBoundMap
mapValuesWiden
TypeKeyMap