the third hurdle: injecting into already typed trees