I Think Super Mario is a Leprechaun

I’ve just seen the trailer for the new Mario game that’s coming out on the Switch. I thought Mario was a human!? Mario Odyssey is based in the real world, instead of the Mushroom Kingdom, and so there are normal people milling around the city (New Donk City…) and Mario, by comparison, is clearly not…