forall(_: T) -> x