disco-0.1.3.0: test/types-tydef-qual/input

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