Type Construction and Cycle Detection (go.dev)

Hmm, they don't seem to be saying anything about mutually recursive types?