package preface

The type held by the Monad.

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

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.

Create a new 'a t.

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

Combine two values of 'a t into one.

The neutral element of the Alternative.