The proposed type: ```haskell trials :: Monad m => [m a] -> (a -> m (Trial e b)) -> m (Trial e b) ``` What should be the name? `trials` `tryUntil` `firstResult` ...