Playing around with combinatory logic