MonadError catch should not exist based on throwab...
# arrow
r
MonadError catch should not exist based on throwable, we will probably remove that because things that throw are effects and therefore should be suspend which can only be handled in the effect hierarchy