型パラメータ操作の再帰的処理が必要でできない気がする・・・