I needed to declare a type that would mean "Any but None" and didn't find how.

Current implementation allows to expand set of allowed types, not narrow it.

Perhaps typing needs the rest of set operators in addition to Union?

Best Regards,

Ilya Kulakov