testsuite/tests/polykinds/T16762.stderr


1
2
3
4
5
6
7


T16762.hs:11:3: error:
    • These kind and type variables: a kx (b :: kx)
      are out of dependency order. Perhaps try this ordering:
        kx (a :: kx) (b :: kx)
    • In the definition of data constructor ‘MkT’
      In the data declaration for ‘T’