blob: b24559ea9a019fb0a69bb1dd5067deb7c77d7aa5 (
plain)
1
2
3
4
5
6
7
8
|
T11407.hs:10:40: error:
• Expected kind ‘x a’, but ‘a’ has kind ‘k’
‘k’ is a rigid type variable bound by
a family instance declaration
at T11407.hs:10:1-72
• In the second argument of ‘UhOh’, namely ‘(a :: x a)’
In the data instance declaration for ‘UhOh’
|
