blob: aea6b52aad59e0115fbbc14093ec814c703c86f7 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
module T5938 where
import Data.Kind (Type)
type family KindFam (a :: k)
type instance KindFam (a :: Type) = Int
type instance KindFam (a :: Bool) = Bool
type instance KindFam (a :: Maybe k) = Char -- doesn't work
|
