aihc-parser-1.0.0.2: test/Test/Fixtures/golden/module/forall-kinded-inferred-binder.yaml

extensions:
  - ExplicitForAll
  - KindSignatures
input: |
  module ForallKindedInferredBinder where

  import Data.Kind (Type)

  f :: forall {a :: Type}. a -> a
  f x = x
status: pass
ast: |-
  Module {ModuleHead {"ForallKindedInferredBinder"}, [ImportDecl {"Data.Kind", ImportSpec {[ImportItemAbs{UnqualifiedName {"Type"}}]}}], [DeclTypeSig ["f"] (TForall [TyVarBinder {"a", Just (TCon "Type"), TyVarBInferred}] (TFun (TVar "a") (TVar "a"))), DeclValue (FunctionBind "f" [Match {MatchHeadPrefix, [PVar "x"], EVar "x"}])]}