Preference for WFH depends on so many individual factors, not just personality but also your commute length, home size, children, neighborhood, friends, etc. Although a lot of discussions on HN seem to be dominated by "I prefer WFH", I reckon in reality the divide is probably pretty close to 50/50, just like with introverts and extroverts. Companies will find strong candidates in both types of people and find out they can't fully satisfy them all, and the end result will be everyone compromises.
Encourage some days to be WFH so that WFHers won't feel career pressure from missing out on office politics. Encourage some days to be in-office so that office-lovers won't go to the office to socialize and find it half empty. Have a flexible day or two where people can do whatever they want. Maybe throw in some flexibility on start and end hours so that people can avoid peak traffic.