Why Lists are not lowered to a while loop

Wait 5 sec.

Some while ago I was explaining what "Lowering" is. And the interesting part is that List behaves differently like an array while also a List is backed by an array. But why?