When to use `Finset` as opposed to `TreeSet` or `HashSet`?

Stream: general

[Mai]

Title, basically

[Henrik Böving]

If you are not planning to execute your code there is little point in using a Tree or Hash Set.

[Eric Wieser]

Finset is preferable when you want to talk about an arbitrary type that really has no comparison or hash operation