fixed point w/ higher order fns