forall(_: T) -> U