Twang, chunka chunka chunka . . .

Bart Bentley and David Wadler