Control.Effect.Type.Embed
newtype Embed b (m :: * -> *) a where Source #
An effect for embedding actions of a base monad into the current one.
Constructors
Fields