ParentFull threadconsz·I'm pretty sure the set of equivalence classes is uncountable, so it's not even enumerateable.View on HN