disco-0.2: test/error-tyargs/input

:load test/error-tyargs/error-tyargs.disco
x : X
y : X(Int)
z : X(Int,Char)
w : X(Int,Char,Bool)
q : List
p : List(Int,Char)