hash-sets: use map-into in members.