On Thu, Dec 29, 2011 at 06:45:27AM +0100, Manfred Lotz wrote: > > or' :: Monad m => ( a -> m Bool) -> [a] -> [m Bool] > or' _ [] = [] > or' p (x:xs) = p x : or' p xs > > and' :: Monad m => ( a -> m Bool) -> [a] -> [m Bool] > and' _ [] = [] > and' p (x:xs) = p x : and' p xs Note that or' = and' = map. -Brent