Ernst, E. First-Class Object Sets. DPB 2008, 37.