First draft of the fixedPoint Memo combinator