matchAll :: Env -> [PatternMatch] -> [AtomoVal] -> IOThrowsError Bool
matchAll e [] [] = return True
matchAll :: Env -> [PatternMatch] -> [AtomoVal] -> IOThrowsError Bool
matchAll e [] [] = return True
matchAll e [] [] = return True