value
absorbWriter :: (Monoid w, Member (Writer w) r)=> (MonadWriter w (Sem r) => Sem r a)A computation that requires an instance of MonadWriter for Sem. This might be something with type
MonadWriter w m => m a.-> Sem r a
Introduce a local MonadWriter constraint on Sem --- allowing it to interop nicely with MTL.