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