Aloraman
А вообще алгебраические типы и исключения - ортогональные вещи, массово одно на другое менять - чистое хайпожорство
Они, конечно, ортогональные. Проблемы начинаются, когда в языке удобно работать только с исключениями, и массово меняют одно на другое.