Fun with lambda calculus