sig
  type label
  val next_label : unit -> RandLabel.Labeller.label
  val shower : RandLabel.Labeller.label Show.show
end