blob: b208cfadaabb17e126e67241e90708f49a0ce9e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE StandaloneKindSignatures #-}
module T18640a where
import Data.Kind
type F2 :: forall a b. Type -> a
type family F2 :: forall b. Type -> Type where
|