aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/StandaloneKindSignatures/standalone-kind-higher-order.hs

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

module StandaloneKindHigherOrder where

import Data.Kind (Type)

type Apply :: (Type -> Type) -> Type -> Type
type Apply f a = f a