<@U5YN32A0K> Unrelated but you can define those in...

# announcements

[raulraja]

@joelpedraza Unrelated but you can define those in terms of fold, that datatype is esentially a Right biased Either which we have in kategory https://github.com/kategory/kategory/blob/master/kategory/src/main/kotlin/kategory/data/Either.kt