Make_applicative.2-A
type _ t
val map : 'a t -> f:( 'a -> 'b ) -> 'b t
val map2 : 'a t -> 'b t -> f:( 'a -> 'b -> 'c ) -> 'c t
val sequence : 'a F.Impl.Checked.t t -> 'a t F.Impl.Checked.t