Id.MakeHashable
module M: { ... }
type identity;
type t = M.t;
let hash: hash(t, identity);
let eq: eq(t, identity);