blob: d773791a2de3776f0a40507fba932a107a57a128 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T19977b.hs:21:5: error:
• Could not deduce ‘C a’ arising from a use of ‘h’
from the context: D a
bound by the type signature for:
g :: forall a. D a => a
at T19977b.hs:20:1-13
Possible fix:
add (C a) to the context of
the type signature for:
g :: forall a. D a => a
• In the expression: h
In an equation for ‘g’: g = h
|