This is a case that might help motivate support in Unison for ability sets where multiple abilities share the same head type constructor.
In a nutshell the point is that ability sets like {Exception Foo, Exception Bar}
arise naturally when composing functions. So weak support for those ability sets bakes a barrier to compositionality into the language.
Let's suppose we're using the Exception
ability.
ability Exception e where
throw : e -> a