We really need to get more designers interested in Scheme, because that logo is awful
type UserId = string & { readonly __tag: unique symbol };
from typing import NewType
from uuid import UUID
UserId = NewType("UserId", UUID)