blob: 75147e6a00d8929de92efca7aaeead807d6c97c6 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T11520.hs:15:57: error:
• Illegal type synonym family application in instance: Compose f g
• In the instance declaration for ‘Typeable (Compose f g)’
T11520.hs:15:77: error:
• Expected kind ‘k20 -> k10’, but ‘g’ has kind ‘k’
• 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)’
|