aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/StandaloneKindSignatures/standalone-kind-data-inline-gadt.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds, StandaloneKindSignatures #-}

module InlineKindSignatureData where

import Data.Kind (Type)

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