testsuite/tests/dependent/should_fail/T11407.stderr


1
2
3
4
5
6
7
8


T11407.hs:10:40: error:
    • Occurs check: cannot construct the infinite kind: k0 ~ x a
    • In the second argument of ‘UhOh’, namely ‘(a :: x a)’
      In the data instance declaration for ‘UhOh’
    • Type variable kinds:
        x :: k0 -> *
        a :: k0