package preface

The type held by the Monad.

Create a new 'a t.

bind f m passes the result of computation m to function f.

Combine two values of 'a t into one.

The neutral element of the Alternative.