blob: 3e1f8eb5ed49b865ce7439f2a0e3f7a4d8f7ab48 (
plain)
1
2
3
4
5
6
|
T9201.hs:10:17: error:
• Expected kind ‘x’, but ‘a’ has kind ‘y’
• In the first argument of ‘f’, namely ‘a’
In the second argument of ‘d’, namely ‘(f a)’
In the type signature: ret :: d a (f a)
|