Dank an einige ausgezeichnete Antworten hier, Ich verstehe im Allgemeinen (deutlich eingeschränkt) den Zweck von HaskellsMaybe und dass seine Definition ist

data Maybe a = Nothing | Just a

jedoch bin mir nicht ganz klar warumJust ist ein Teil dieser Definition. Soweit ich das beurteilen kann, ist dies der Ort, an demJust selbst ist definiert, aber die entsprechende Dokumentation sagt nicht viel darüber aus.

Bin ich richtig, denkt, dass der Hauptnutzen der Verwendung vonJust in der Definition vonMaybe, anstatt einfach

data Maybe a = Nothing | a

ist, dass es den Mustervergleich mit @ ermöglicJust _ und für nützliche Funktionen wieisJust undfromJust?

Warum istMaybe eher auf die erstere als auf die letztere Weise definiert?