Dieser Abschnitt versteht sich als Nachtrag zum Thema diskriminierte Records und Pointer.
Es ist nämlich auch möglich, einen Pointer-Typ als Diskriminante zu verwenden. Man kann damit einen Typ mit einem Verweis auf ein Objekt eines anderen Typs parametrieren. Allerdings muß der diskriminierte Typ ein limitierter Typ sein.
Diskriminierte Records bringen vor allem Vorteile bei der objektorientierten Programmierung und werden in Kapitel 13 eingehender erläutert.