Description
Provides opaque unique identifiers inside primitive state monads. Unique identifiers help code distinguish values reliably without exposing how those identifiers are represented.
It is useful for low-level stateful libraries, graph algorithms, mutable structures, caches, and runtime-oriented code. It is a developer library and has no standalone interface.