einzelne Typvariable typisieren: textuelle Beschreibung am Ende fehlerhaft
Typisiert man eine einzelne Typvariable, bleibt der letzte Schritt der textuellen Beschreibung immer grau (s. lezter Schritt hier).
(Das liegt daran, dass hier der vorletzte Schritt eigentlich wegfällt ("In this step the most general unifier for the set of constraints is calculated. Therefore the whole set of substitutions is applied to every single substitution of the set."), da hier der MGU direkt dasteht.)