-- Eq to what?

arith :: Num b
      => (a -> b)
      -> Integer
      -> a 
      -> b
arith f x y = f y
arith :: Num b
      => (a -> b)
      -> Integer
      -> a 
      -> b
arith f x y = f y
arith f x y = f y