prim-uniq-0.2: Opaque unique identifiers in primitive state monads

# prim-uniq-0.2: Opaque unique identifiers in primitive state monads

Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses of type equality.

Modules

prim-uniq-0.2

- Data
  Submodules
  - Unique
    Submodules
    - Data.Unique.Prim
    - Data.Unique.Tag
- Unsafe
  Submodules
  - Unique
    Submodules
    - Unsafe.Unique.Prim
    - Unsafe.Unique.Tag