tests/examples/ghc86/T11142.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TypeInType, RankNTypes #-}

module T11142 where

import Data.Kind

data SameKind :: k -> k -> Type

foo :: forall b. (forall k (a :: k). SameKind a b) -> ()
foo = undefined