aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/KindSignatures/kindsig-higher-kinded.hs

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

module KindSignaturesHigherKinded where

import Data.Kind (Type)

data App (f :: Type -> Type) (a :: Type) = App (f a)