Add explicit applyTup translation

While revisiting this, I realized the example wasn't complete without
this demonstration.