NullAway has some problems with `Supplier<@Nullable V>` and the like. We should introduce specialized interfaces for `get` and `getRequired`. We should also think about renaming `getRequired` to `obtain`, that's the naming style Spring Framework uses.