public static Set <T> filter <T>(Set <T> set, Func <T, bool> pred) => set.Filter(pred);
public static Set <OrdT, T> filter <OrdT, T>(Set <OrdT, T> set, Func <T, bool> pred) where OrdT : struct, Ord <T> => set.Filter(pred);