@cauf это термин из функциональных языков. Обозначает тип, который может быть одним из своих подтипов
Вот например на расте

enum Example {
Text(String),
Int(i32),
}
Example как бы сумма из String и i32.
Можно сложить ещё например вот такие типы

enum OptionalText {
Text(String),
Nothing,
}

В противоположность типам суммам идут типы-произведения. Они несут в себе сразу все свои подтипы, и это привычные структуры (классы)

struct Human {
name: String,
age: i32,
}