Indexed access type

A type expression T[K] that retrieves the property value type associated with key K in type T.