SICP 2.20: Dotted-tail notation