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