Uncurry functions for exists1