T9858e.hs:9:7: 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))