blob: b06751c575e01dac72762f35e80476426fa93668 (
plain)
1
2
3
4
5
6
7
8
|
Overlap15.hs:16:9: error:
• Couldn't match expected type ‘F b [b] Bool’
with actual type ‘Bool’
• In the expression: False
In an equation for ‘foo’: foo _ = False
• Relevant bindings include
foo :: Proxy b -> F b [b] Bool (bound at Overlap15.hs:16:1)
|