What they were getting at is that you can't observe T itself, only values passed in as type T

Keyword similar. I use type guards for other things (like typing JSON responses), but they can't solve this particular problem.