Dají se tři nové typy. Je třeba vytvořit nový typ na jejich základě, který splňuje podmínku (obsahuje všechna pole uvedených typů, sjednocený typ). Jaký přístup použít?