preface

An opinionated library for function programming (à La Haskell)
IN THIS PACKAGE
Parameter #2 Preface_make . Monoid . Over_semigroup . M
type t = S.t

the type held by the Monoid.

val neutral : t

The neutral element of the Monoid.