색인 가능 타입

앞서 다룬 예시들은 모두 코드 작성 시점에 속성 이름이 알려져 있었다.
하지만 코드의 실행 시점에서만 알 수 있는 이름의 동적 속성을 갖는 타입은 어떻게 표시해야 할까?