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