blob: f0901b4d564db849832eaa9ea6a1574aa74114d7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T9201.hs:7:17: error:
• Expected kind ‘x’, but ‘a’ has kind ‘y’
‘y’ is a rigid type variable bound by
the class declaration for ‘MonoidalCCC’
at T9201.hs:6:20-49
‘x’ is a rigid type variable bound by
the class declaration for ‘MonoidalCCC’
at T9201.hs:6:20-49
• 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)
|