Consistent fix point combinator