A sink that waits for a single value and returns it.
Monadic join for the higher-order monad Free
Suspends a value within a functor in a single step.
Suspends a value within a functor in a single step. Monadic unit for a higher-order monad.
A free monad over a free functor of S
.
A version of liftF
that infers the nested type constructor.
A trampoline step that doesn't do anything.
Return the given value in the free monad.
A source that produces the given value.
Alias for point
Collapse a trampoline to a single step.
Suspend the given computation in a single step.
Interpret a free monad over a free functor of S
via natural transformation to monad M
.