25 Jan
2023
25 Jan
'23
10:28 p.m.
If you are sure that the Maybe is always Just, why use Maybe in the first place?
I'm not sure this is a good example but suppose you have a variable which is shared by clients and servers. For clients, this variable is not necessary. So, to set a value, "Nothing" is used.
From the server code, the value is always "Just x" (by configuration or something).
Even if this example is not appearing to you, there are a lot of situations of this kind in practical code. --Kazu