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