testsuite/tests/indexed-types/should_compile/T10815.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# LANGUAGE DataKinds, PolyKinds, TypeFamilies #-}

module T10815 where

import Data.Proxy

type family Any :: k

class kproxy ~ 'KProxy => C (kproxy :: KProxy k) where
  type F (a :: k)
  type G a :: k

instance C ('KProxy :: KProxy Bool) where
  type F a = Int
  type G a = Any