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