先のエントリは引数の型を制限する話でしたが、今回は引数がパラメータ化された型の場合、その実型引数を制限するのに型変数が使えるという話です。3つのケースを紹介します。 複数の実型引数間の関係を制限 たとえば、A×B (AとBの直積型)を表すクラスPairが…