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

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