blob: b6ad5772fe82b9b99fd6b6c4395ba9231bb75543 (
plain)
1
2
3
4
5
6
7
8
|
Overlap10.hs:10:7:
Couldn't match expected type ‘F a Bool’ with actual type ‘Bool’
In the expression: False
In an equation for ‘g’: g x = False
Relevant bindings include
x :: a (bound at Overlap10.hs:10:3)
g :: a -> F a Bool (bound at Overlap10.hs:10:1)
|