NFU's stratification requirements impose type-level constraints that block naive application of T to...