API.To_applicative
The natural transformation from a Free applicative
to an other Preface_specs.Applicative
.
module Applicative : Applicative.CORE
val run : natural_transformation -> 'a t -> 'a Applicative.t
Run the natural transformation over the Free applicative
.