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