Что такое аннотация типов Union