Tree Types -- On Constructive Existence.