public interface Children { Either at (int pos); int size(); }