Picks the first successful computation from choices.
choices
The Alternative instance for F.
Alternative
F
The first successful computation.
Picks the first successful computation from
choices.