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