long-term, low-priority, many workarounds available. Python permits recursive types by quoting an unfinished type name, as in ```python @dataclass class Pattern: subs : list[tuple[str, "Pattern"]] ``` It would be valuable to have this capability in LPython to support modern designs.