Tはopenas構文によって導入される型です。どんな名前でもよいですが、実行時に決まる型です。内部的にはArchetypeTypeとか呼ばれてますね。

3:42 PM

要は存在型の中のXにTという名前を付けて取り出してるんです。