blob: bb6d5b915f770105da3e5e4157f94b1dc46bd893 (
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: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:14
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 ()
|