Pete Rose should be in the Hall of Fame... with his induction the year after he dies. He should never live to see himself put in the hall. That is what a “lifetime ban” should mean, and in my opinion how it should be handled.
It’s not called the National Baseball Hall of Infamy. It’s called the National Baseball Hall of Fame.