packages feed

disco-0.2: test/error-unboundtyvar/unboundtyvar.disco

type Ty(a) = a + b