-record(branch, {children :: non_empty_list:non_empty_list({any(), integer()})}).