testsuite/tests/dependent/should_fail/BadTelescope2.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DataKinds, PolyKinds, ExplicitForAll #-}

module BadTelescope2 where

import Data.Kind

data SameKind :: k -> k -> *

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