disco-0.1.0.0: test/repl-eval-tydef-import/a.disco

import b

x : L
x = right(3, left(unit))