∀(x: T) -> U