May 2 Deriving Y Combinator Deriving Y Combinator that makes recursive functions without assignments possible.