Consider using 'None' and 'Some "..."' as return value instead of 'empty string' (which might be a valid 'Some' value).