Notes on fixed point combinators