functor (M : Map2) ->
  sig
    val lift_box :
      ('a Bindlib.box, 'b Bindlib.box) M.t -> ('a, 'b) M.t Bindlib.box
  end