Flatten Set

Stream: new members

[Marcus Rossel]

How would one go about flattening nested : set (set α) into flat : set α, where flat should be the union over all sets in nested?

[Yakov Pechersky]

I think that's sUnion

[Adam Topaz]

If you have an unnatural love of monads, I guess you can use mjoin. But you should probably use sUnion (which also has a nice notation associated with it).