blob: f3da3c5eeb2f8917bf5e9e93f8bae4955cbfe2bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
mc22.hs:10:9:
No instance for (Functor t) arising from a use of ‘fmap’
Possible fix:
add (Functor t) to the context of
a type expected by the context: (a -> b) -> t a -> t b
or the inferred type of foo :: [t [Char]]
In the expression: fmap
In a stmt of a monad comprehension: then group using take 5
In the expression:
[x + 1 | x <- ["Hello", "World"], then group using take 5]
mc22.hs:10:26:
Couldn't match type ‘a’ with ‘t a’
‘a’ is a rigid type variable bound by
a type expected by the context: [a] -> [t a] at mc22.hs:10:9
Expected type: [a] -> [t a]
Actual type: [a] -> [a]
Relevant bindings include foo :: [t [Char]] (bound at mc22.hs:8:1)
In the expression: take 5
In a stmt of a monad comprehension: then group using take 5
|