Type alias GetValue<Map, Value, Type, T>

GetValue<Map, Value, Type, T>: Type[] extends T ? Value : T extends keyof Map ? Map[T] : { [ P in keyof T]: T[P] extends Type ? GetValue<Map, Value, Type, T[P]> : never }