Test Trac #9081
[ghc.git] / testsuite / tests / th / T9081.hs
1 {-# LANGUAGE TemplateHaskell, DataKinds, PolyKinds, TypeFamilies #-}
2
3 module T9081 where
4
5 import Data.Proxy
6
7 $( [d|
8 class kproxy ~ 'KProxy => C (kproxy :: KProxy a) where
9 type TF (x :: a) :: Bool
10 |])