List literals reduce with a spurious `emp` at the end, which is not pretty.