型の迷宮

プログラマーの佐藤は、新しいプロジェクトで謎めいた型システムに出会う。既存の言語では表現できない制約。それは誰が、何のために設計したのか。