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.