control-monad-omega

A monad for enumerating sets: like the list monad but breadth-first.