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

type X(a,b) = Unit + a*b