blob: 645db8912f0633e56c67660d6188d9797206e9a6 (
plain)
1
2
3
4
5
6
7
8
9
|
T6054.hs:7:14:
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)
|