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