# Is there a universal type space involving infinite players?

Having just dabbled in 7.1of rationality in extensive games by Andres Perea, I got an impression all constructions of universal type space are restricted to finite players. What's the obstacle to extend it to countably infinite players? For example, is it trivial to extend them to cover OLG games in which each stage game is only played by finite players?