disco-0.1.0.0: test/types-tydef-bad/input

:load test/types-tydef-bad/types-tydef-bad.disco