
29 May
2020
29 May
'20
2:49 p.m.
Wiebe-Marten Wijnja writes:
My question: Is the difference between `Maybe a` and `Either a ()` only semantic and are they functionally equivalent, or are there differences in functionality as well?
One difference that comes to mind is that there is only one way to write the failing case for `Maybe a` (namely `Nothing`), but two ways for `Either a ()`: `Right ()` and `Right ⊥`. -- Albert Krewinkel GPG: 8eed e3e2 e8c5 6f18 81fe e836 388d c0b2 1f63 1124