Благодарянекоторые отличные ответы здесьЯ вообще понимаю (явно ограниченным образом) цель ХаскеллаMaybe и что его определение

data Maybe a = Nothing | Just a

Однако я не совсем ясно, почемуJust является частью этого определения. Насколько я могу судить, это гдеJust сама по себе определена, но соответствующая документация о ней ничего не говорит.

Правильно ли я думаю, что основное преимущество использованияJust в определенииMaybe, а не просто

data Maybe a = Nothing | a

является то, что это позволяет для сопоставления с шаблоном сJust _ и для полезной функциональности, какisJust а такжеfromJust?

ПочемуMaybe определены в первом способе, а не во втором?