Module embed
eff
Embed the effect of an computation into a wider one
An effectful computation created by embed() combinator
embed()