Fixed point combinator#Other fixed point combinators