:: Monad m => (a -> m Bool) -> [a] -> m [Bool] package:utility-ht