package preface

The type held by the Monad.

Create a new 'a t.

Composing monadic functions using Kleisli Arrow (from left to right).