#include "axiom"

SumPackage(R:Ring): with {
        sum: List R -> R;
} == add {
        sum ( ll: List R) : R == {
                s: R :=0;
                for x in ll repeat  s:= s+x;
                return s
        }
}