Documentation

fuse two Merge operators. The order-preserving transformation is strictly right-oriented i.e. merge [s1, merge [s2,s3]] == merge [s1,s2,s3] but for non-order-preserving we can write a much more generic rule.