disco-0.1.3.0: test/types-tydef-kind/expected
Loading types-tydef-kind.disco... While checking types-tydef-kind.Foo: Error: not enough arguments for the type 'Foo'. https://disco-lang.readthedocs.io/en/latest/reference/num-args-type.html
Loading types-tydef-kind.disco... While checking types-tydef-kind.Foo: Error: not enough arguments for the type 'Foo'. https://disco-lang.readthedocs.io/en/latest/reference/num-args-type.html