Module Error_handling.Monad_syntax