findM package:distribution-opensuse

findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a)
distribution-opensuse OpenSuse.Prelude
Like find, but where the test can be monadic. 
findM (Just . isUpper) "teST"             == Just (Just 'S')
findM (Just . isUpper) "test"             == Just Nothing
findM (Just . const True) ["x",undefined] == Just (Just "x")