testsuite/tests/typecheck/should_compile/T12381.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE DataKinds, PolyKinds, TypeFamilies #-}
module Kinds where

import GHC.Types

type family G (a :: Type) :: Type
type instance G Int = Bool

type family F (a :: Type) :: G a
type instance F Int = True