andM package:extra

andM :: Monad m => [m Bool] -> m Bool
extra Control.Monad.Extra Extra
A version of and lifted to a monad. Retains the short-circuiting behaviour. 
andM [Just True,Just False,undefined] == Just False
andM [Just True,Just True ,undefined] == undefined
\xs -> Just (and xs) == andM (map Just xs)
andM :: (Foldable f, Monad m) => f (m Bool) -> m Bool
extra Data.Foldable.Extra
A generalization of andM to Foldable instances. Retains the short-circuiting behaviour.