lambda calculus in CoffeeScript