aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/StandaloneKindSignatures/dependent-kind-variable.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE StandaloneKindSignatures, PolyKinds, ExplicitForAll #-}

module DependentKindVariable where

type Foo :: forall {k}. k -> *
data Foo x = Foo