blob: 8b9ddb09a89a1d8a42edfab946b0db7a4b61a203 (
plain)
1
2
3
4
5
6
7
8
9
|
T11520.hs:16:77: error:
• Expected kind ‘k2 -> k1’, but ‘g’ has kind ‘k4’
‘k4’ is a rigid type variable bound by
an instance declaration
at T11520.hs:16:10-78
• In the second argument of ‘Compose’, namely ‘g’
In the first argument of ‘Typeable’, namely ‘(Compose f g)’
In the instance declaration for ‘Typeable (Compose f g)’
|
