Use the fact that we can build T from a single root tree via a series of pairs of $ \insertLeft$ and $ \insertRight$ operations.