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