testsuite/tests/ghc-regress/indexed-types/should_compile/DataFamDeriv.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TypeFamilies #-}
module DataFamDeriv where

data family Foo a
data Bar = Bar
data instance Foo Bar
    = Bar1 | Bar2 | Bar3 | Bar4 | Bar5 | Bar6 | Bar7 | Bar8 | Bar9
    deriving Eq