blob: 50dbf5425ba364ba4cf986f6eb5cb99650258d41 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
mc22.hs:10:26: error:
• Couldn't match type ‘a’ with ‘t a’
Expected: [a] -> [t a]
Actual: [a] -> [a]
‘a’ is a rigid type variable bound by
a type expected by the context:
forall {a}. [a] -> [t a]
at mc22.hs:10:26-31
• In the expression: take 5
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]
• Relevant bindings include
foo :: [t String] (bound at mc22.hs:8:1)
|