一つの型パラメータで複数は表せなくてもよいのでは