typecase
実行時に、型情報に基づいたPattern Matchingを行う
TaPL.iconp.268にちょろっとかいている
論文も5つぐらい参照されてる
Javaのinstanceofなどがこれのヘボい版らしい