forall(x: T) -> ∀(y: U) -> V