public function filter(callable $f) { return $this->has_value && $f($this->value) ? $this : Option::none(); }