blob: 2defabb36db2114c2a7942d94f270353f00c0ef9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
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)
|
