ist ein kritischer Typ, der zudem an Typäquivalenz beteiligt ist. Für eine erfolgreiche Verwendung der Typäquivalenz muss ...