So what does extending `NotNull` do in this pattern?