add Data.Set.notMember and Data.Map.notMember