Üç yeni tip verildi. Bunlar temel alınarak, koşulu sağlayan (tüm verilen tiplerin alanlarını içeren, birleşim tipi) yeni bir tip oluşturulmalı. Hangi yaklaşım kullanılmalı?