:load test/repl-eval-tydef-import/a.disco
x