blob: aec686716ebca36adf50e7fe7b3707ecfc5a397d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
tcfail072.hs:23:13:
Could not deduce (Ord q0) arising from a use of `g'
from the context (Ord p, Ord q)
bound by the type signature for
g :: (Ord p, Ord q) => AB p q -> Bool
at tcfail072.hs:22:6-38
The type variable `q0' is ambiguous
Possible fix: add a type signature that fixes these type variable(s)
Note: there are several potential instances:
instance Integral a => Ord (GHC.Real.Ratio a)
-- Defined in `GHC.Real'
instance Ord () -- Defined in `GHC.Classes'
instance (Ord a, Ord b) => Ord (a, b) -- Defined in `GHC.Classes'
...plus 25 others
In the expression: g A
In an equation for `g': g (B _ _) = g A
|