let
zs_union : dzone
->
dzone
->
dzone =
D
.e_app2
"zs_union"