Ich habe das ganze mal in der Programmiersprache rost umgesetzt:

struktur Mai;

struktur MaiMai {
    mai: (Mai, Zeichenkette),
    mai_mai: (Schachtel<MaiMai>, Zeichenkette),
}

umstz MaiMai {
    funktion neu() -> Selbst {
        Selbst {
            mai: (Mai, Zeichenkette::von("Mai")),
            mai_mai: (Schachtel::neu(MaiMai::neu()), Zeichenkette::von("MaiMai")),
        }
    }
}

funktion einstieg() {
    MaiMai::neu();
}

Das Übersetzen funktioniert einwandfrei, beim Ausführen kommt es erwartungsgemäß zum Stapelüberlauf.