Bindlib.Lift2
Similar to the Lift functor, but handles "binary" map functions.
Lift
map
module M : Map2
val lift_box : ( 'a box, 'b box ) M.t -> ( 'a, 'b ) M.t box