blob: 1fe49ab7beb5de32ea6bd83b309bd8f7bd716214 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
module Bug1050 where
import Data.Kind
newtype T :: (forall k. k -> Type) -> (forall k. k -> Type) where
MkT :: forall (f :: forall k. k -> Type) k (a :: k). f a -> T f a
mkT = MkT
|
