forall(x: T) -> U