module Kind(main) where

data TypeRep k (a::k) = T

class C k (a :: k) where
  typeRep :: TypeRep k a