prim-uniq

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