forall(x: T) -> x