testsuite/tests/typecheck/should_compile/T17067.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE TypeFamilies #-}
module T17067 where

import Data.Kind

data family D1 a
data family D2 :: Type -> Type

type family F a
type instance F (D1 a) = a
type instance F (D2 a) = a