[ywei3410]

I agree,

You can /always/ go from `f : t -> r` to `f' : t option -> r option` with `Option.map` (ML-syntax, translate to w/e type syntax you're most familiar with), but the reverse is not true.

I think that the example is super-simplified though and I think that the central point still stands if you have multiple errors though.