22Type Construction and Cycle DetectionHmm, they don't seem to be saying anything about mutually recursive types?
Hmm, they don't seem to be saying anything about mutually recursive types?