Re[2]: darcs patch: add Data.Set.notMember and Data.Map.notMember