Right, this is to avoid handling the empty list case without using a separate `NonEmptyList` structure.