preface

An opinionated library for function programming (à La Haskell)
IN THIS PACKAGE

Parameters

Signature

type natural_transformation = {
transform : 'a. 'a f -> 'a Monad.t;
}
val run : natural_transformation -> 'a t -> 'a Monad.t

Run the natural transformation over the Free monad.