Freer_monad.CORE
The Freer Monad
API without the Preface_specs.Monad
API.
The parametric type (which, unlike a Preface_specs.Free_monad
don't need to be a Preface_specs.Functor
).
type ('a, 'b) handle = ('a -> 'b) -> 'a f -> 'b
The handler type. Which is a Natural transformation
from the Freer Monad
to an unwrapped Identity monad
.