prim-uniq (hackage): Opaque unique identifiers in primitive state monads and a GADT-like type using them as witnesses of type equality.
Keywords: data|dependent-types|library|public-domain