path: root/testsuite/tests/dependent/should_run/T11964a.hs

{-# LANGUAGE PolyKinds #-}
module T11964a where
import Data.Kind
type Star = Type
newtype T k (t :: k) = T ()