test :: Monad m => [a -> m Bool] -> a -> m Bool
test [] x = Just True
test (t:ts) x = if (t x) == (Just True)
                  then test ts x
                  else Just False