Is there some way to "wrap" a recursive function via a higher-order function, so that the rec