Module type Set.Equal_m