Du nauji tipai duoti. Reikia sukurti naują tipą, pagrįstą jais, kuris atitinka sąlygą (apima visas pateiktų tipų sritis, unijos tipas). Kokį požiūrį naudoti?