@noncom for an instance of MonadError where the Error is of type

Throwable

. There is

bindingE

available that automatically catches the exception.