testsuite/tests/polykinds/T15116.stderr


1
2
3
4
5
6
7


T15116.hs:7:12: error: [GHC-88634]
    • Data constructor ‘MkA’ cannot be used here
        (it is defined and used in the same recursive group)
    • In the first argument of ‘A’, namely ‘MkA’
      In the type ‘A MkA’
      In the definition of data constructor ‘MkA’