summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T16245a.hs
blob: 65d904f60953cb514980c8b4c776bb412b091e42 (plain)
1
2
3
4
5
6
7
8
9
10
11
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeInType #-}
module Bug where

import Data.Kind

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

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