ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/DataFamilyInstanceLHS.hs

{-# 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