blob: eb6479cc3bd6b64fbca89287b84b0114aa631304 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE StandaloneKindSignatures #-}
module T18640c where
import Data.Kind
type F1 :: forall k -> Type
type family F1 k :: Type
type F2 :: forall x. forall k -> x
type F2 = F1
|