Over.To_monoid
The natural transformation from a Freer selective to a Preface_specs.Monoid.
Freer selective
Preface_specs.Monoid
module Monoid : Preface_specs.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 Freer selective.