we use α to range over type variabl

we use α to range over type variables.

Results (Japanese) 1:

α を使用して、型の変数の範囲を。

Results (Japanese) 2:

我々は、型変数をオーバー範囲にαを使用しています。

Results (Japanese) 3:

我々が使う範囲に変数α型。