blob: f397723a02d889a59ae1fe5d32d61f9eae3767b1 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T9858e.hs:9:8: error:
• Couldn't match type: Eq Int => Int
with: a0 b0
Expected: Proxy (a0 b0)
Actual: Proxy (Eq Int => Int)
• In the first argument of ‘i’, namely
‘(Proxy :: Proxy (Eq Int => Int))’
In the expression: i (Proxy :: Proxy (Eq Int => Int))
In an equation for ‘j’: j = i (Proxy :: Proxy (Eq Int => Int))
|