_ = xs.map { x: T in // ✅ OK

↑(x: T) じゃないと文法エラーで、それを直したとしても、ここに T はおかしいような。 T　じゃないから。

5:12 AM

実際には T1 T2 T3 , ... のように別々の型になってて、毎回違うやつになってるから。

5:13 AM

ソレ以外の全体としては言いたいことが整っててわかりやすいと思いました。