Option uses from_value to complete Monad pattern