Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T7438a.hs
1 {-# LANGUAGE PolyKinds, GADTs, KindSignatures, DataKinds, FlexibleInstances #-}
2
3 module T7438a where
4
5 data Thrist :: k -> k -> * where
6 Nil :: Thrist a a
7
8