## Stream: new members

### Topic: Flatten Set

#### Marcus Rossel (Jan 10 2021 at 21:53):

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 (Jan 10 2021 at 22:01):

I think that's sUnion

#### Adam Topaz (Jan 10 2021 at 22:13):

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).

Last updated: May 10 2021 at 23:11 UTC