ghc-exactprint-0.5.3.1: tests/examples/ghc80/SigTvKinds2.hs

{-# LANGUAGE PolyKinds #-}

module SigTvKinds2 where

data SameKind :: k -> k -> *

data Q (a :: k1) (b :: k2) c = MkQ (SameKind a b)