Update fix-point combinator