Anyone who’s joined a posada procession during Christmastime knows what a central role mariachi plays. And if not, consider this your education. Mixing traditional villancicos and mariachi-style arrangements of carols and Christmas pop, here’s a playlist of holiday music that celebrates the warmth and conviviality of Mexican mariachi.