clojure Y combinator's derivation