ConsOne
ConsTwo
1
[ConsOne,ConsTwo]
[ConsOne,ConsTwo]
2
True
True
((ConsOne,ConsTwo),[(ConsOne,()),(ConsTwo,())])