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

{-# LANGUAGE DataKinds #-}
module T5881a where
data K = T
type T' = T