path: root/testsuite/tests/polykinds/T14174.hs

{-# LANGUAGE RankNTypes, KindSignatures, PolyKinds #-}
module T14174 where

data T k (x :: k) = MkT

data S x = MkS (T (x Int) x)