{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeInType #-}
module Main where

import Data.Kind
import Language.Haskell.TH

type Id1    a       = a
type Id2 k (a :: k) = a
data Proxy1 (a :: Id1   k) = Proxy1
data Proxy2 (a :: Id2 * k) = Proxy2

$(return [])

main :: IO ()
main = do
  putStrLn $(reify ''Proxy1 >>= stringE . pprint)
  putStrLn $(reify ''Proxy2 >>= stringE . pprint)