Parameter EQ_BY_F.1-A

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