Comment by pat_punnu

"If you think of a type as a set of possible values"

You can't do that! You fall foul of Russell's paradox - sets as types simply don't work!