aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/KindSignatures/kindsig-data-param.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE KindSignatures #-}

module KindSignaturesDataParam where

import Data.Kind (Type)

data Proxy (a :: Type) = Proxy