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