exponentials in Set^Set