blob: 878324caebe46c85cbd25d9bc4682d6e4a0648c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T3169.hs:13:13:
Couldn't match type `elt' with `Map b elt'
`elt' is a rigid type variable bound by
the type signature for
lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
at T3169.hs:12:3
Expected type: Maybe (Map b elt)
Actual type: Maybe elt
In the return type of a call of `lookup'
In the expression: lookup a m :: Maybe (Map b elt)
|