I think he's referring to the fact that you have more information at runtime (the actual request) than you do at compile time. But your distinction about the t

I think he's referring to the fact that you have more information at runtime (the actual request) than you do at compile time. But your distinction about the theoretical limitations vs the practical capabilities of current type systems is also a good point.