Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/tests/nhc-bugs/ix-derived/ix.stdout
ConsOne ConsTwo 1 [ConsOne,ConsTwo] [ConsOne,ConsTwo] 2 True True ((ConsOne,ConsTwo),[(ConsOne,()),(ConsTwo,())])