testsuite/tests/polykinds/T14450.stderr


1
2
3
4
5
6
7


T14450.hs:33:3: error:
    • Type indexes must match class instance head
      Expected: Dom @k @k (IddSym0 @k)
        Actual: Dom @(*) @(*) (IddSym0 @(*))
    • In the type instance declaration for ‘Dom’
      In the instance declaration for ‘Varpi (IddSym0 :: k ~> k)’