path: root/testsuite/tests/typecheck/should_compile/tc107.hs

-- !!! Kind checking in a recursive situation
-- Exposes a bug in proto-4.09 (black hole)

module ShouldCompile where

data ChItem = ChItemX Stream
type Stream = ChItem