|
|
|
|
|
|
by Locke1689
5434 days ago
|
|
|
Maybe is really just a special case of Either, where it optimizes for the situation where the second return type is "failure." The type of Either is necessary because proper type theory requires a container type to wrap two types. This is immediately obvious if you try to write the type signature for any function which has a return arity of one. |
|
|