Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T8449a.hs
1 {-# LANGUAGE GADTs, TypeFamilies, DataKinds, PolyKinds #-}
2
3 module T8449a where
4
5 data Lst a = Nil | Cons a (Lst a)
6
7 data family SList (a :: k)
8 data instance SList (a :: Lst k) where
9 SNil :: SList 'Nil