極端なことを言ってしまうと，何処に何がある，という型の表現しか使わなくて済むことになる．もちろん，型の定義やらなにやら，メタな説明も必要ではあるけど，おそろしく形式的なものにできてしまう．できればそうしたい．