path: root/testsuite/tests/polykinds/T16762b.hs

{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE StandaloneKindSignatures #-}
module T16762b where

import Data.Kind

type T :: forall k. Type
data T