path: root/testsuite/tests/dependent/should_compile/T16347.hs

{-# LANGUAGE GADTs      #-}
{-# LANGUAGE PolyKinds #-}
module T16347 where

import Data.Kind

data T f :: f Type -> Type where
  MkT :: T f a