Simplified Ex 9 even more

There's no need, ever, AFAIR, to write `[a] ++ ...` instead of `a : ...`.