実行時に、型情報に基づいたPattern Matchingを行う

p.268にちょろっとかいている

論文も5つぐらい参照されてる

Javaの instanceof などがこれのヘボい版らしい