testsuite/tests/ghc-regress/typecheck/should_fail/tcfail122.hs


1
2
3
4
5
6
7
8

{-# LANGUAGE Rank2Types, KindSignatures #-}

module ShouldFail where

-- There should be a kind error, when unifying (a b) against (c d)

foo = [ undefined :: forall a b. a b,
	undefined :: forall (c:: (* -> *) -> *) (d :: * -> *). c d ]