@@ -4,7 +4,7 @@ import Control.IOExcept
5%access public export
5%access public export
7−interface Catchable (m : Type -> Type) t where
7+interface Catchable (m : Type -> Type) t | m where
8 throw : t -> m a
8 throw : t -> m a
9 catch : m a -> (t -> m a) -> m a
9 catch : m a -> (t -> m a) -> m a