disco-0.1.0.0: test/types-tydef-kind/input
-- See issue #295. Make sure we kind-check type definitions. :load test/types-tydef-kind/types-tydef-kind.disco
-- See issue #295. Make sure we kind-check type definitions. :load test/types-tydef-kind/types-tydef-kind.disco