* * @pure */ function from_nullable(mixed $value): Option { return $value !== null ? Option::some($value) : Option::none(); }