The answer is subtle
Suppose we have an algorithm
- whose input is a (begin, end) pair
- whose output is either in the [begin, end] range or null
There's trouble if null can end a list, because we can't tell null from end
If null can't end a list, it restricts our data structures