testsuite/tests/dependent/should_compile/T12742.hs


1
2
3
4
5
6
7
8
9
10
11

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

module T12742 where

import Data.Kind

type family F :: forall k2. (k1, k2)

data T :: (forall k2. (Bool, k2)) -> Type

type S = T F