I am totally confused and curious.
I was poking at Melodyne some time ago. I ended up of not using it. As I understand it is mostly for shifting correcting pitch timing and few other things of this nature.

If my thinking is correct, why do we need it for BIAB? Would it be possible to use ARA in a DAW after the track export (through Plugin or by importing WAVs)?

Can not make the connection...how would it benefit BIAB?
Can somebody please explain in simple terms. Thank you.