blob: f141a23e9634b9db5b49b8ec7bf7be11194771e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T12563.hs:7:15: error:
• Couldn't match expected type ‘(forall a. f0 a) -> f0 r0’
with actual type ‘p0’
Cannot instantiate unification variable ‘p0’
with a type involving polytypes: (forall a. f0 a) -> f0 r0
• In the first argument of ‘foo’, namely ‘g’
In the expression: foo g
In the expression: \ g -> foo g
• Relevant bindings include
g :: p0 (bound at T12563.hs:7:6)
x :: p0 -> f0 r0 (bound at T12563.hs:7:1)
|
