型の迷宮

言語設計チームに配属された新人エンジニアが、型システムの根本的な問題に直面する。既存の選択が招いた矛盾、そして理想と現実の狭間で、彼は何を選ぶのか。