disco-0.1.0.0: test/types-kinds/expected

Error: too many arguments for the type 'List'.
https://disco-lang.readthedocs.io/en/latest/reference/num-args-type.html
Error: too many arguments for the type 'List'.
https://disco-lang.readthedocs.io/en/latest/reference/num-args-type.html
Error: the shape of two types does not match.
https://disco-lang.readthedocs.io/en/latest/reference/shape-mismatch.html
Error: too many arguments for the type 'List'.
https://disco-lang.readthedocs.io/en/latest/reference/num-args-type.html
Error: too many arguments for the type 'List'.
https://disco-lang.readthedocs.io/en/latest/reference/num-args-type.html