Ich möchte gerne (der einfachheit halber) eine Funktion schreiben, die Ordinale Typen annimmt, so wie Pred() oder Inc() usw.
Gibt es da eine Lösung
(Einen Typen "Ordinal" gibt's ja offensichtlich nicht ...)
Sonst müsste ich mir 2 überladene Prozeduren schreiben ...