Canonical hyphenated GUID strings are the supported input contract here.
uid :: (str: string) -> GUID