T14343b.hs:10:9: error: [GHC-88464]
    • Found hole: _ :: Proxy '(True, False)
    • In the expression: _ :: Proxy '( 'True, 'False)
      In an equation for ‘test1’: test1 = _ :: Proxy '( 'True, 'False)
    • Relevant bindings include
        test1 :: Proxy '(True, False) (bound at T14343b.hs:10:1)
      Valid hole fits include
        test1 :: Proxy '(True, False) (defined at T14343b.hs:10:1)
        Proxy :: forall {k1} (k2 :: k1). Proxy k2
          with Proxy @'(True, False)
          (defined at T14343b.hs:8:16)

T14343b.hs:11:9: error: [GHC-88464]
    • Found hole: _ :: Proxy '( '(True, False), False)
    • In the expression: _ :: Proxy '( '( 'True, 'False), 'False)
      In an equation for ‘test2’:
          test2 = _ :: Proxy '( '( 'True, 'False), 'False)
    • Relevant bindings include
        test2 :: Proxy '( '(True, False), False) (bound at T14343b.hs:11:1)
      Valid hole fits include
        test2 :: Proxy '( '(True, False), False)
          (defined at T14343b.hs:11:1)
        Proxy :: forall {k1} (k2 :: k1). Proxy k2
          with Proxy @'( '(True, False), False)
          (defined at T14343b.hs:8:16)

T14343b.hs:12:9: error: [GHC-88464]
    • Found hole: _ :: Proxy '( '[1], False)
    • In the expression: _ :: Proxy '( '[1], 'False)
      In an equation for ‘test3’: test3 = _ :: Proxy '( '[1], 'False)
    • Relevant bindings include
        test3 :: Proxy '( '[1], False) (bound at T14343b.hs:12:1)
      Valid hole fits include
        test3 :: Proxy '( '[1], False) (defined at T14343b.hs:12:1)
        Proxy :: forall {k1} (k2 :: k1). Proxy k2
          with Proxy @'( '[1], False)
          (defined at T14343b.hs:8:16)