Fixed point combinator

Summary