Use qualified imports, add Data.Set