Is this defined such that the cost of computing the Nth element is N applications of f?