blob: 9d4d7313740c953e318f47989cc776743bda8e3f (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE TypeInType, 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
|