ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/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