package preface

The type held by the Monad.

Create a new 'a t.

Mapping over from 'a to 'b over 'a t to 'b t.

join remove one level of monadic structure, projecting its bound argument into the outer level.

Combine two values of 'a t into one.

The neutral element of the Alternative.