blob: c8b39b06ad3bc4688c7d2701af7354a431accdae (
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)
|