:load test/error-unboundtyvar/unboundtyvar.disco