Exe1: exhibit Normal-style lists as a monoid.