Merged function `Pool.run` into `Pool.exec`, simplifying the API.