is a critical method contained in a type which is participating in type equivalence. In order to allow type {1} to participate ...