Alternative, an extension of Applicative, declares empty, <|> and these two functions:
Applicative
empty
<|>
One or more:
In the STM Applicative, some would mean: Keep trying until it succeeds at least once, and then keep doing it until it fails. many would mean: Do this as many times as you can until failure.
some
many