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

prim-uniq-0.1.0.1: 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