Er zijn drie nieuwe types gegeven. Er moet een nieuw type worden gemaakt op basis hiervan, dat voldoet aan de voorwaarde (bevat alle velden van de gegeven types, unie-achtig type). Welke aanpak moet worden gebruikt?