Dear GHC team, As there exists, say, Data.mapSet, is this natural to provide also filterSet ? ----------------- Serge Mechveliani mechvel at botik.ru