aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/ExplicitForAll/forall-kinded-inferred-binder.hs

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

module ForallKindedInferredBinder where

import Data.Kind (Type)

f :: forall {a :: Type}. a -> a
f x = x