s!Wenn ein Typ mit einfachem Inhalt einen Typ mit gemischtem Inhalt einschränkt, ist eine eingebettete einfache Typdefinition ...