Type Construction and Cycle Detection
go.dev