summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T9081.hs
blob: 1fa2b83a81b0e92f0cb7a576f04898d1330fa077 (plain)
1
2
3
4
5
6
7
8
9
10
{-# LANGUAGE TemplateHaskell, DataKinds, PolyKinds, TypeFamilies #-}

module T9081 where

import Data.Proxy

$( [d|
  class kproxy ~ 'KProxy => C (kproxy :: KProxy a) where
    type TF (x :: a) :: Bool
  |])