package preface

The type held by the Applicative.

Lift a value from 'a into a new 'a t.

Applicative functor of ('a -> 'b) t over 'a t to 'b t.

Combine two values of 'a t into one.

The neutral element of the Alternative.