sig
  type t
  type data
  val init : Fold_map.Foldable.t
  val f :
    Fold_map.Foldable.t -> Fold_map.Foldable.data -> Fold_map.Foldable.t
end