let
model_separated : dzone
->
dzone
->
F
.pred =
D
.p_app2
"separated"