Sets & free functions

This post from editor’s cut looks at implementing a Set type as a free function. This is probably something different to how we normally think of types, and it’s an interesting idea.