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