gadt-promoted-cons-operator.yaml

extensions: [GHC2021, TypeOperators, GADTSyntax]
input: |
  data Union f as where
    This :: !(f a) -> Union f (a : as)
ast: |-
  Module {[DeclData (DataDecl {Prefix "Union" [TyVarBinder {"f"}, TyVarBinder {"as"}], [GadtCon {[UnqualifiedName {"This"}], GadtPrefixBody {[(BangType {True, TParen (TApp (TVar "f") (TVar "a"))})], TApp (TApp (TCon "Union") (TVar "f")) (TParen (TInfix (TVar "a") ":" (TVar "as")))}}]})]}
status: pass