purescript-0.15.0: tests/purs/failing/TransitiveKindExport.purs

-- @shouldFailWith TransitiveExportError
module Main (TestProxy(..)) where

data Test

data TestProxy (p :: Test) = TestProxy