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