package preface

Operation of Writer monad parametrized over an inner monad and a monoidal tape.

The complete interface of a Writer monad which introduces the Monad API into the Writer API.