Test Trac #8557
[ghc.git] / testsuite / tests / ghci.debugger / scripts / T8557.hs
1 {-# LANGUAGE TypeFamilies, DataKinds, PolyKinds #-}
2 module T8557 where
3
4 data family Sing (a :: k)
5 data instance Sing (a :: [k]) = SNil
6
7 x :: Sing '[]
8 x = SNil