Switch EmptyList to have Noop, rather than true, to make it symmetric
with Zero