Putting implicit arguments of Clenv.res_pf right.