我已经做了一个Haskell library，允许操作多元多项式。它使用了numeric-prelude库定义的一些示例，例如加法组示例。这个示例的加法在这个库中表示为+。我觉得这有点烦人，因为已经有常用的+表示数字了，所以我定义了：

import Algebra.Additive as AlgAdd

(^+^) :: Polynomial a -> Polynomial a -> Polynomial a
(^+^) p q = p AlgAdd.+ q

但是在我看来，这样做的话，+的“中缀属性”就丢失了。我从来没有处理过中缀属性，我有几个问题。我想保留相同的中缀属性。
1.查看代码时，我看到下面这行代码：

infixl 6  +, -

这一行是独立的，在代码的开头。

infixl 6 ^+^, ^-^

在this blog post中，作者在定义一个函数之前定义了这个函数的中缀属性。这是另一种等价的方法吗？是否不可能像(^+^) = (AlgAdd.+)那样自动复制中缀属性？
1.仍然在看代码，我明白了：

{-# MINIMAL zero, (+), ((-) | negate) #-}

那是什么意思？
1.我也想知道如何定义多项式的反义词。我有减法p ^-^ q，但如何定义^-^ p？
1.最后，当软件包作者定义示例（例如Double）时，他/她写道：

instance C Double  where
  {-# INLINE zero #-}
  {-# INLINE negate #-}
  {-# INLINE (+) #-}
  {-# INLINE (-) #-}
  zero   = P.fromInteger 0
  negate = P.negate
  (+)    = (P.+)
  (-)    = (P.-)

INLINE的用途是什么？