Appearance
Id.MakeComparable
module M: { ... }
type identity;
type t = M.t;
let cmp: cmp(t, identity);