testsuite/tests/th/T9081.hs


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
  |])