blob: efeb34a94aa7b053f1522f05a2be822e0b63cff6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T4093a.hs:8:8: error:
Could not deduce: e ~ ()
from the context: Foo e ~ Maybe e
bound by the type signature for: hang :: (Foo e ~ Maybe e) => Foo e
at T4093a.hs:7:9-34
‘e’ is a rigid type variable bound by
the type signature for: hang :: (Foo e ~ Maybe e) => Foo e
at T4093a.hs:7:9
Expected type: Foo e
Actual type: Maybe ()
In the expression: Just ()
In an equation for ‘hang’: hang = Just ()
Relevant bindings include hang :: Foo e (bound at T4093a.hs:8:1)
|