T9858e.hs:9:8: error:
Couldn't match type ‘Eq Int => Int’ with ‘a0 b0’
Expected type: Proxy (a0 b0)
Actual type: 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))