value
absorbError :: Member (Error e) r=> (MonadError e (Sem r) => Sem r a)A computation that requires an instance of MonadError for Sem. This might be something with type
MonadError e m => m a.-> Sem r a
Introduce a local MonadError constraint on Sem --- allowing it to interop nicely with MTL.