それはHaskellでの「型パラメータ」なのでは？
Genericsでの「型パラメータ」は、hoge<T>の<T>とか自体では？
。。。あ、同じか？
なるほど、これが関数型でのGenericsか？（ホントか？）
あ、いや、これはただのhoge<T>ではなくhoge<T extends U>が相当するのではないか？
だって、MLにはないんだよね？