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