let
separated m z1 z2 =
M
.separated m.mem (massigned z1) (massigned z2)