blob: 720f8f57258191bba847573d67a93a06cedb3f86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE GADTs, DataKinds, PolyKinds, ExplicitForAll #-}
module BadTelescope2 where
import Data.Kind
data SameKind :: k -> k -> *
-- This declaration made GHC 8.10 produce a Core Lint error
data T a b where
MkT :: forall a kx (b :: kx). SameKind a b -> T a b
|
