path: root/testsuite/tests/polykinds/T11142.hs

{-# LANGUAGE PolyKinds, RankNTypes #-}

module T11142 where

import Data.Kind

data SameKind :: k -> k -> *

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