blob: baa3e2c07132fb05a3e2c42d77b15e538e690e23 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE TypeInType, 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
|