∀(x : T) → U
