package preface

The type held by Foldable.

Map each element of the Foldable to a Monoid an combine the result.