Module WithOrd.Comparable

type identity;
type t;