Add an implementation of SumOf