WideningTypeBoundFunction
typeBound
WrappedInput
EmblematicToJsonTranslator
JsonToEmblematicTranslator
widen
TypeKeyMap
TypeBoundMap