or explicit support for

Optional[X]

as a marker, which might be reasonable