id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
5938,Kind variables not allowed in type family instance declarations,goldfire,,"I am trying to create a kind-indexed type family, but I cannot use kind variables in my kind annotations:

{{{
{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}

type family KindFam a
type instance KindFam (a :: *) = Int
type instance KindFam (a :: Bool) = Bool
type instance KindFam (a :: Maybe k) = Char -- doesn't work
}}}",bug,closed,normal,,Compiler (Type checker),7.5,fixed,PolyKinds,,Unknown/Multiple,Unknown/Multiple,GHC rejects valid program,Unknown,polykinds/T5938,,,