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.