Nonempty.Of_applicative_without_return
A : sig ... end
val of_nonempty : ('bt, 'a, 'b) t -> access:('a -> 'b A.t) -> 'bt A.t