testsuite/tests/dependent/should_compile/T14729.hs


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

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

module T14729 where

import Data.Kind

data P k :: k -> Type

type family F a
type instance F Int = Bool

x :: forall (x :: Bool). P (F Int) x
x = undefined

y = x