deferType forgets CPR info

If f is a function with some CPR info, e.g. <..>dm1(d), then using it
unsaturated should rease the CPR, after all "a -> Int" is not a type
where we can do CPRish transformations.