blob: 0b36936be9f8e7604821d0ecfca11d1d8132c232 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T4093a.hs:8:8:
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:8:1-14
`e' is a rigid type variable bound by
the type signature for hang :: Foo e ~ Maybe e => Foo e
at T4093a.hs:8:1
Expected type: Foo e
Actual type: Maybe ()
In the return type of a call of `Just'
In the expression: Just ()
In an equation for `hang': hang = Just ()
|
