let zs_singleton : t_zone -> dzone = F.e_app1 "zs_singleton"