Why Are IO Domains Expensive?