I would say that a true cons pair should be treated as a value, and not as a list to reduce further.