aihc-parser-1.0.0.2: test/Test/Fixtures/golden/module/instance-promoted-unit-infix-head.yaml

extensions: [DataKinds, FlexibleInstances, TypeOperators]
input: |
  {-# LANGUAGE DataKinds #-}
  {-# LANGUAGE FlexibleInstances #-}
  {-# LANGUAGE TypeOperators #-}
  module M where
  class Infix a b
  instance '() `Infix` ()
ast: |-
  Module {ModuleHead {"M"}, [DataKinds, FlexibleInstances, TypeOperators], [DeclClass (ClassDecl {Prefix "Infix" [TyVarBinder {"a"}, TyVarBinder {"b"}]}), DeclInstance (InstanceDecl {TInfix (TTuple Promoted []) "Infix" (TTuple [])})]}
status: pass