sig
  module type Unit = sig  end
  module Unit : Unit
  module type Labeller =
    sig
      type label
      val next_label : unit -> RandLabel.Labeller.label
      val shower : RandLabel.Labeller.label Show.show
    end
  module MakeLabeller : functor (U : Unit) -> Labeller
end