Understanding generic union types in Elm

Ich habe einige Probleme zu verstehen, was genau dasHtml msg Typ ist, oder wie es verwendet wird. Ich habe diese Codezeile in VirtualDom.elm gefunden, dieHtml msg scheint ein Alias von: @ zu se

type Node msg = Node

Dies sieht aus wie ein generischer Vereinigungstyp mit einem Typparameter,msg und ein trivialer Fall, der keine zusätzlichen Informationen enthält. Ich frage mich

Wie funktioniert dasdiv Funktion eines dieser Objekte konstruieren?Wie wird ein Objekt wie dieses verwendet?Wie könnte ein Objekt wie dieses verwendet werden?Ist ein Benutzer in der Lage, einen Typ wie diesen zu definieren, oder istHtml msg nur ein magischer Typ zur Unterstützung des Elm-Compilers / der Elm-Laufzeit?

Antworten auf die Frage(2)

Ihre Antwort auf die Frage