MicroHs-0.9.12.0: tests/Kind.hs

module Kind(main) where

data TypeRep k (a::k) = T

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