1 \r
2 T2693.hs:11:7:\r
3     Couldn't match expected type ‘TFn a’ with actual type ‘TFn a0’\r
4     NB: ‘TFn’ is a type function, and may not be injective\r
5     The type variable ‘a0’ is ambiguous\r
6     When checking that ‘x’ has the inferred type\r
7       x :: forall a. TFn a\r
8     Probable cause: the inferred type is ambiguous\r
9     In the expression:\r
10       do { let Just x = ...;\r
11            let n = fst x + fst x;\r
12            return () }\r
13     In an equation for ‘f’:\r
14         f = do { let Just x = ...;\r
15                  let n = ...;\r
16                  return () }\r
17 \r
18 T2693.hs:19:15:\r
19     Couldn't match expected type ‘(a5, b0)’ with actual type ‘TFn a2’\r
20     The type variables ‘b0’, ‘a2’, ‘a5’ are ambiguous\r
21     Relevant bindings include n :: a5 (bound at T2693.hs:19:7)\r
22     In the first argument of ‘fst’, namely ‘x’\r
23     In the first argument of ‘(+)’, namely ‘fst x’\r
24 \r
25 T2693.hs:19:23:\r
26     Couldn't match expected type ‘(a3, a5)’ with actual type ‘TFn a4’\r
27     The type variables ‘a3’, ‘a4’, ‘a5’ are ambiguous\r
28     Relevant bindings include n :: a5 (bound at T2693.hs:19:7)\r
29     In the first argument of ‘snd’, namely ‘x’\r
30     In the second argument of ‘(+)’, namely ‘snd x’\r
31 \r
32 T2693.hs:29:20:\r
33     Couldn't match type ‘TFn a0’ with ‘PVR a1’\r
34     The type variables ‘a0’, ‘a1’ are ambiguous\r
35     Expected type: () -> Maybe (PVR a1)\r
36       Actual type: () -> Maybe (TFn a0)\r
37     In the first argument of ‘mapM’, namely ‘g’\r
38     In a stmt of a 'do' block: pvs <- mapM g undefined\r