Diversity exists on many axis, and personality types are an important form of it just as much as gender is.

I find your use of 'more diverse' to mean 'more gender balanced' distasteful, because privileging gender roles as important like that is a huge part of the problem.