> I'm sorry, but that API is not something to be proud of. I agree: not only does using it require a lot of boilerplate, but Option takes several arguments and

> I'm sorry, but that API is not something to be proud of. I agree: not only does using it require a lot of boilerplate, but Option takes several arguments and returns a value that only restores the previous value of the last option! That sounds very error prone, I'm sure someone will think the value return by Option undoes all of the option setting.