If you convert a recursive function to fixed-point with a Y-combinator, you can then add memoization to the combinator.