-
This is hinted at in the docs of flip: the values are lists of the same count (or atoms). The “(or atoms)” part is relevant here. If any of the values are atoms, they are extended to the same length as the lists. Therefore it is enough to have only one value be a list and the rest can be atoms. But if there are multiple lists, they must have the same length.