disco-0.1.0.0: test/types-tydef-kind/types-tydef-kind.disco

type Foo(a) = a + Foo

type Bar = Bar + Foo

type Zip = Unit + Graph