Parameter `ORD_BY_F.1-A`

type a;
type b = Ord.t;

let f: a => b;