Renamed to pure_fun.