python dataclass

book.tex

@@ -16427,7 +16427,6 @@ to represented tagged values.
 class Tagged:
   value : Value
   tag : int
-  __match_args__ = ("value", "tag")
   def __str__(self):
     return str(self.value)
 \end{lstlisting}