[strbean]

(butting in)

What is recursive about the parent comment?

[hbrn]

It's recursive in the context of "making sense of TS using set theory". If you understand sets, but not types, statements about "sets defined by types" are meaningless.