Parameter OrdBy.1-A

type a;
type b = Ord.t;
let f: a => b;