Generalized type of `promptly`