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