Wie extrahiere ich das zweite Element von Sigma am Konstrukt Kalkül?

Ich versuche das folgendermaßen zu tun:

Beachten Sie, dass der Wert, der von dieser Funktion zurückgegeben wird, von einem Wert innerhalb des Sigma selbst abhängt, ich diesen Wert extrahieren muss. Dieser Code überprüft nicht, weil ich glaube, dass es den aus Sigma extrahierten Typ mit dem darin enthaltenen Typ nicht vereinheitlicht.

Gibt es eine Problemumgehung?