Rekursiv definierte Werte können nicht direkt als Teil der Konstruktion eines Tupelwerts innerhalb einer rekursiven Bindung ...