testsuite/tests/polykinds/T19739b.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
module Bug where

import Data.Kind
import Data.Proxy

type T :: forall (a :: Type) -> Type
newtype T a = Mk (Proxy a)