MYSQL: JSON with indexed virtual column VS normal column & normalization

Question

Problem statement

I\'ve a big table users composed of 2 different kinds of users, A and B. At the moment,