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