There's nothing preventing you to use a Result type in Oberon. Just not as a fancy algebraic data type, but rather as a regular record/struct type.