testsuite/tests/indexed-types/should_fail/T2334A.hs


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

{-# LANGUAGE TypeFamilies #-}

-- #2334

module Test where

data family F r

newtype instance F ()  = F () () deriving Eq
newtype instance F Int  = H deriving Eq

data instance F Bool = K1
data instance F Bool = K2