testsuite/tests/dependent/should_fail/T11407.stderr


1
2
3
4
5
6
7
8


T11407.hs:10:40: error:
    • Expected kind ‘x a’, but ‘a’ has kind ‘k0’
    • In the second argument of ‘UhOh’, namely ‘(a :: x a)’
      In the data instance declaration for ‘UhOh’
    • Type variable kinds:
        x :: k0 -> *
        a :: k0