Maybe look into implicit in-order forests (https://thume.ca/2021/03/14/iforests/)