add fixed point combinator