blob: b5d95bf2a1393f026b22683f94df53c0ed53d87e (
plain)
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:
a :: k0
x :: k0 -> *
|