「[T]」って自動推論によって推論された型のことを表しているんだな。

オレ記法を説明なしで書かれると疲れるよ。