If Scott's trick is applicable, the non-functionality of T is an artifact of naive type-ascent rathe...