blob: 800b5599ced5ecc1f46e7caf43f29564dbc779a7 (
plain)
1
2
3
4
5
6
7
8
9
|
T6054.hs:7:14: error:
• No instance for (Bar '() a0)
arising from an expression type signature
• In the first argument of ‘print’, namely
‘(Proxy :: Bar '() a => Proxy a)’
In the expression: print (Proxy :: Bar '() a => Proxy a)
In an equation for ‘foo’:
foo = print (Proxy :: Bar '() a => Proxy a)
|
