Module type Applicative.Basic3_using_map2
val return : 'a -> ('a, _, _) tval map2 :
('a, 'd, 'e) t ->
('b, 'd, 'e) t ->
f:('a -> 'b -> 'c) ->
('c, 'd, 'e) tval map :
[ `Define_using_map2
| `Custom of ('a, 'd, 'e) t -> f:('a -> 'b) -> ('b, 'd, 'e) t ]