testsuite/tests/indexed-types/should_compile/T9840.hs


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

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE TypeFamilies #-}

module T9840 where

import Data.Kind (Type)
import T9840a

type family X :: Type -> Type where

type family F (a :: Type -> Type) where

foo :: G (F X) -> G (F X)
foo x = x