You can correct lens distortion in post, but you do so at the expense of some of that higher resolution. Roger Cicala of LensRentals.com says in a blog post where he tests the uncorrected and post corrected resolution of an EF 24-105mm f/4 L lens at 24mm:
But when someone wants to argue that they buy a lens with high distortion because it has higher resolution and distortion is easy to fix in post . . . well, it had better be a lot higher, or it's a fool's argument.
He goes on to say that it is fairly well established knowledge among lens designers that correcting for distortion in the lens also reduces resolution versus leaving the distortion uncorrected. In the past the distortion correction was deemed to be worth the loss of resolution. The current trend is to leave the distortion uncorrected to gain the resolution.
There is a lot of good additional info in the comments to Roger's blog post referenced above.
With that taken into consideration, in terms of your final results the additional workflow to correct the distortion from the high resolution/high distortion lens may not give you any significant gain in resolution versus a lower resolution lens with low enough distortion that it does not require correction.