extensible-effects
extensible-effects copied to clipboard
Chain multiple 'runError' calls into a single one.
Just describing an idea I want to work on.
It would be call if instead of multiple chains of 'runError' handlers we also provide a handler that handles all exception in the list and then returns something like Result errs a
where errs
is a type-level list, and the whole Result
is similar to Either
except it has a polymorphic variant on the left.