always
in physical order, not logical type codes - for example, the first
child is always index 0.

An empty list of indices returns the argument unchanged.