Re: [Haskell-cafe] Unifcation and matching in Abelian groups