testsuite/tests/polykinds/T16247a.stderr


1
2
3
4
5
6
7
8


T16247a.hs:21:21: error:
    • These kind and type variables: p k
      are out of dependency order. Perhaps try this ordering:
        k (p :: k)
    • In the kind ‘forall p k.
                   (U1 :: k -> Type) p ~> Rep1 (U1 :: k -> Type) p’
      In the data type declaration for ‘From1U1Sym0’