Add some `MonadCatch` type class constrains