path: root/testsuite/tests/th/T13781.hs

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

import Data.Kind
import Data.Proxy

$([d| f :: Proxy (a :: (k :: Type))
      f = Proxy
    |])