TypeID: Type-safe, K-sortable, globally unique identifiers | Heykuki News