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

extensions: [PartialTypeSignatures, FlexibleContexts]
equivalent:
  - "type T a = (_, _ => _ :: _)"
  - "type T a = (_, (_ => _) :: _)"
status: pass
reason: GHC parses a bare kind signature after a tuple-element context as applying to the whole constrained type.