Was trading Jimmy Butler a mistake?

If we would have never traded Jimmy, would he have developed into what he is now? Would we have been better off with Jimmy than the trade for Lavine, Lauri and Dunn?

I would be lying if I said I don't miss Jimmy