BTW bohatě by stačilo mít “výhybku” pro chybovou větev jako v některých funkcionálních jazycích, kde v “do” bloku lze mít něco jako “let OK x = f() | Err err => convert_err err”, což řeší problém zanoření a zároveň odlišné typy chyb (při zachování čitelnosti). Rust se k tomu pomalu blíží.