html-test/src/Bug1050.hs


1
2
3
4
5
6
7
8
9
10
11

{-# 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