Based on @andrewgaul's comment, shall we then keep `@Nullable` and move on? Agreed that there are more interesting questions to solve.

Thanks, @jkew!