blob: 512e6e8ecd01280da950b7a1e362aa08e357bb0d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
module T22762 where
import Data.Kind
type Const :: a -> b -> a
type family Const x y where
Const x _ = x
type F :: (forall (b :: Bool) -> Const Type b) -> Type
data F f
type G :: forall (b :: Bool) -> Type
data G b
type H :: Type
type family H where
H = F G
|
