If 'nullable' is treated as a sort of universally ...
# announcements
f
If 'nullable' is treated as a sort of universally applicable type modifier, then it becomes simpler and easier to reason about