package preface

A generic monoid.

A Non empty list. The module allows to deal with non-empty list. Lists where the minimum size is one.

Some Hook over the standard library.

Void describes unhabited type. A type that is not representable.