PanLinx
English
eng-000
discriminated union
русский
rus-000
размеченное объединение
PanLex