A TypeID implementation in Haskell. It is a "type-safe, K-sortable, globally unique identifier" extended on top of UUIDv7. TypeIDs are canonically encoded as lowercase strings consisting of three ...