blob: d226122614f1c2dd5fac6dbd4d8076aaea8b332a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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:1-34
‘e’ is a rigid type variable bound by
the type signature for:
hang :: forall e. 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)
|