Only catch IO errors

Stream: lean4

[Leni Aniva]

Is there a way to write a try ... catch ex => block in a monad on top of IO (e.g. CoreM) that only catches IO errors?

IO.Error is different from Lean.Exception, and I want to have a branch that catches these