Problem mit typisierten Konstanten

[TiGü]

Vor dem gleichen Problem stand ich neulich auch und war dann hinterher ganz verwundert, als ich zufällig die Typsierung der Konstante entfernt hatte und es auf einmal ging.
Richtig verstanden hatte ich es auch nicht.