Wrestling in high school is not a serious athletic base.
High school wrestling is extremely low level, shitloads of guys wrestled in HS. Some of them are the sort of guys that get taken down repeatedly in every fight and just like to throw hays.
Which is why Mighty Mouse gets outwrestled so much by other non-collegiate wrestlers. His wrestling is just good.....nothing special.
His game really is more kickboxing anyway.
If you are just going on what they trained in first, then Benson is technically a TKD fighter...but of course that's not accurate because it's inane....much like calling guys like Cruz and Johnson...guys who started MMA as kids, "wrestlers".
Phil Davis is a wrestler. He started MMA when he was a grown man and was about 24/25.
Chris Weidman is a wrestler.
GSP, Cruz, Johnson, and arguably Jones are not.