If the requirements change, you can update the definition in the type system once. And then you immediately know the locations where this new bound is violated.