ApS attaches a value to a context [S1] to produce a context [S2] by considering the context and the value concurrently.

BiMap maps a pair of functions over the two type arguments of the bifunctor.

Bind attaches the result of a computation to a context [S1] to produce a context [S2].

BindTo initializes a new state [S1] from a value [T].

Bind creates an empty context of type [S] to be used with the [Bind] operation.

Let attaches the result of a computation to a context [S1] to produce a context [S2].

LetTo attaches the a value to a context [S1] to produce a context [S2].

Local changes the value of the local context during the execution of the action `ma` (similar to `Contravariant`'s `contramap`).

MapLeft applies a mapping function to the error channel.

MonadTraverseArray transforms an array.

Read applies a context to a reader to obtain its value.

SequenceArray converts a homogeneous sequence of either into an either of sequence.

TraverseArray transforms an array.

TraverseArrayWithIndex transforms an array.