eitherUnAssoc (Right (Left y)) = Left (Right y)
eitherUnAssoc (Right (Right z)) = Right z
-instance ArrowChoice a => GArrowSum a (,) () Void Either where
+instance ArrowChoice a => GArrowSum a (,) () Either Void where
ga_never = arr voidImpossible
ga_merge = arr merge
where