blob: 4803093bae4e4305bad1bc8676dfb1d2cba15997 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
PolytypeDecomp.hs:30:17: error: [GHC-91028]
• Couldn't match type ‘a0’ with ‘[forall a. Maybe a]’
Expected: Id a0
Actual: [forall a. Maybe a]
Cannot instantiate unification variable ‘a0’
with a type involving polytypes: [forall a. Maybe a]
• In the expression: x
In the first argument of ‘myLength’, namely ‘[x, f]’
In the expression: myLength [x, f]
PolytypeDecomp.hs:30:19: error: [GHC-91028]
• Couldn't match type ‘a0’ with ‘[forall a. Maybe a]’
Expected: Id a0
Actual: [forall a. F [a]]
Cannot instantiate unification variable ‘a0’
with a type involving polytypes: [forall a. Maybe a]
• In the expression: f
In the first argument of ‘myLength’, namely ‘[x, f]’
In the expression: myLength [x, f]
|