[atroche]

Do you mean sum types? Like Haskell's Maybe and Rust's Result?

[littlestymaar]

Sum types indeed, thanks. That's why I shouldn't post before breakfast.