Re: How to use Data.Set.Set