Id.MakeHashableU
module M : sig ... end
type identity
type t = M.t
val hash : (t, identity) hash
val eq : (t, identity) eq