i think this is a great example of a place where typed throws would be helpful.
the reason i have a Sendable violation is because Task<Success, any Error> is not strict about any Error & Sendable. if we had typed throws that could express throws(any Sendable), we could enforce this like a function color.