ghc-exactprint-0.5.1.0: tests/examples/ghc8/SigTvKinds.hs

{-# LANGUAGE PolyKinds #-}

module SigTvKinds where

data T (a :: k1) x = MkT (S a ())
data S (b :: k2) y = MkS (T b ())
  -- tests TcTyClsDecls.no_sig_tv