Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T14174.hs
1 {-# LANGUAGE RankNTypes, KindSignatures, PolyKinds #-}
2 module T14174 where
3
4 data T k (x :: k) = MkT
5
6 data S x = MkS (T (x Int) x)