Getting hoardes of these in the mornings. I really wouldn't care but we have an unenclosed pool and

they seem to originate from the landscaping surrounding the pool. So we end up with a large amount of them in the pool. Been every day for about two weeks. Any deterrents to keep them for the pool?

Are they beneficial to the plants or soil?

Thanks