I would `use std::option;` could make it cleaner.