I provided implementations for the instances using the corresponding Set.filter or equivalent. This probably has better performance than converting to a list and back.
I also noticed that this had not been done for filterMap and did the same thing for it, providing filterMap = Map.filter, etc.
I provided implementations for the instances using the corresponding
Set.filter
or equivalent. This probably has better performance than converting to a list and back.I also noticed that this had not been done for
filterMap
and did the same thing for it, providingfilterMap = Map.filter
, etc.