Trying to wrap my head around combinatory logic.