Comment on Type Construction and Cycle DetectionComments−eru5moHmm, they don't seem to be saying anything about mutually recursive types?
Comments
Hmm, they don't seem to be saying anything about mutually recursive types?