Dajú sa tri nové typy. Je potrebné vytvoriť nový typ na ich základe, ktorý spĺňa podmienku (obsahuje všetky polia uvedených typov, typ zjednotenia). Aký prístup použiť?