ghc-exactprint-0.5.3.1: tests/examples/ghc80/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