testsuite/tests/polykinds/T18451.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeInType #-}
module Bug where

import Data.Kind

type Const a b = a
data SameKind :: k -> k -> Type

type T (k :: Const Type a) = forall (b :: k). SameKind a b