package preface

A specialized version of a Writer monad with Identity as the inner monad. Since Preface.Make.Writer is a Transformer, this module exposes the classical Writer monad.

Specialization giving a Monoid

A Writer Monad is set up by the monoidal tape which be written.