It is not isomorphic to a `Pair`. It is a sum type...

# getting-started

[okkero]

It is not isomorphic to a Pair. It is a sum type which is either an error, or a value, but never both. In FunKTionale this is implemented using a sealed class and two different subclasses (one for error, and one for successful value, as you might expect)