How can I annotate a type that can be anything but None? In other words, this type is Any but is not None.