Clause

A contract clause, possibly nested

type Clause = str | list[Clause]

Refers to itself. PEP 695 evaluates alias values lazily, so this needs no quoting and nothing resolves it while rendering.