phantom-types

Ich lerne gerade über existenzielle Quantifizierung, Phantomtypen und GADTs. Wie gehe ich vor, um eine heterogene Liste eines Datentyps mit einer Phantomvariablen zu erstellen? Zum Beispiel: %Vor% Funktionen wie unten sind OK: %Vor% Ich...

Angenommen, ich habe: %Vor% Dies kompiliert: %Vor% Dies schlägt fehl: %Vor% ... mit: %Vor% Ich habe versucht, abstrakte Typen anstelle von Typparametern mit dem gleichen Ergebnis zu verwenden. Das einzige Problem, das ich fand, w...