playing around with SKI calculus