p.268では内包的多相と訳されている

Ad Hoc多相をより強力にしたもの

実行時の型に関する制限された計算が可能になる

??

p.268にちょっと書いているがなんもわからん

訳でググっても出てこないので原著のキーワードの方見たほうがいいかも

キーワード

unboxingされた関数の引数

出典論文