aihc-parser-1.0.0.2: test/Test/Fixtures/equivalent/decl/context-kindsig-rhs.yaml

extensions: [TemplateHaskell, PartialTypeSignatures, FlexibleContexts]
equivalent:
  - "type X = _ => $a :: _"
  - "type X = (_ => $a) :: _"
status: pass
reason: GHC parses the unparenthesized kind signature as applying to the whole constrained type.