let
mk_singleton =
"singleton"