API.To_monoid
The natural transformation from a Free applicative to a Preface_specs.Monoid.
Free applicative
Preface_specs.Monoid
module Monoid : Monoid.CORE
type natural_transformation = {
transform : 'a. 'a f -> Monoid.t;
}
val run : natural_transformation -> 'a t -> Monoid.t
Run the natural transformation over the Free applicative.