let mk_singleton  = "singleton"