overloadedlabelsfail01.hs:6:5: error:
No instance for (IsLabel "x" t2)
arising from the overloaded label ‘#x’
In the expression: #x
In an equation for ‘a’: a = #x
overloadedlabelsfail01.hs:9:5: error:
No instance for (IsLabel "x" (t0 -> t1))
arising from the overloaded label ‘#x’
(maybe you haven't applied a function to enough arguments?)
In the expression: #x
In the expression: #x #y
In an equation for ‘b’: b = #x #y
overloadedlabelsfail01.hs:9:8: error:
No instance for (IsLabel "y" t0)
arising from the overloaded label ‘#y’
In the first argument of ‘#x’, namely ‘#y’
In the expression: #x #y
In an equation for ‘b’: b = #x #y
overloadedlabelsfail01.hs:13:5: error:
Could not deduce (IsLabel "y" t)
arising from the overloaded label ‘#y’
from the context: IsLabel "x" t
bound by the type signature for:
c :: IsLabel "x" t => t
at overloadedlabelsfail01.hs:12:6-23
In the expression: #y
In an equation for ‘c’: c = #y