Merge branch 'remove_overloaded_types_of_filter_and_partition_in_Set' into 'master'
fixed the overly restrictive types of filter and partition in Data.Set into polymorphic types See merge request !334
fixed the overly restrictive types of filter and partition in Data.Set into polymorphic types See merge request !334