型引数を使って型変数を宣言する