Support signatures at the kind level in Template Haskell
[ghc.git] / testsuite / tests / th / T13781.hs
1 {-# LANGUAGE TemplateHaskell #-}
2 {-# LANGUAGE TypeInType #-}
3 module T13781 where
4
5 import Data.Kind
6 import Data.Proxy
7
8 $([d| f :: Proxy (a :: (k :: Type))
9 f = Proxy
10 |])