ist eine kritische Methode in einem Typ, der an Typäquivalenz beteiligt ist. Damit der Typ "{1}" an der Äquivalenz beteiligt ...