testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE TypeFamilies, GADTs, DataKinds, PolyKinds #-}
module DataFamilyInstanceLHS where
-- Test case from #10586
data MyKind = A | B

data family Sing (a :: k)

data instance Sing (_ :: MyKind) where
    SingA :: Sing A
    SingB :: Sing B

foo :: Sing A
foo = SingA