Empty Set doesn't exist

If you cant sense it, then it doesnt exist.

You cant see emptiness, therefore emptiness doesnt exist.

>>38
That's not empty, it still contains bottom.
notTheEmptySet :: EmptySet -> EmptySet
notTheEmptySet = notTheEmptySet

And, >>37 is right, '() corresponds to the empty set.
We can define a linked list as a series of conses where:
F(()) -> {}
F((1 . x)) -> {{1}, F(x)}