You have no guarantees that you'll have "stability" of the returned type.
What do you mean with "stability" of the return type?
More often than not, it *is* stable, but there are cases where it is not.
Could you gives examples of when it's stable and when it's not?
