[tome]

A better example might have been

    func (f (add 1 z), f (add z 1))

Since f is not memoized it will be evaluated once for each component of the tuple.