You can emulate the exception/option from the identity if you also have isAlpha. I.e., in this case, they all let you do the same stuff, it is just that different choices make different things a bit more terse and convenient. The example of Andreas is the canonical one for arguing to pick the extended-by-identity version.