ist ein kritisches Feld in einem Typ, der an Typäquivalenz beteiligt ist. Damit der Typ "{1}" an der Äquivalenz beteiligt ...