Delete RangedSet.hs~