testsuite/tests/polykinds/T5938.hs


1
2
3
4
5
6
7

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

type family KindFam (a :: k)
type instance KindFam (a :: *) = Int
type instance KindFam (a :: Bool) = Bool
type instance KindFam (a :: Maybe k) = Char -- doesn't work