WideningTypeBoundFunction
emblem
widen
TypeKeyMap