class
class (Arrow a, ArrowChoice a, ArrowZero a, ArrowIO a) => ArrowExc (a :: Type -> Type -> Type) whereMethods
tryA :: a b c -> a b (Either SomeException c)catchA :: a b c -> a SomeException c -> a b c