local
fun getLast [x] = x
| getLast (x::xs) = getLast xs
in
fun ineffMul [] = 0
I ineffMul (xr as x::xs) = getLast xr + ineffMul xs
end;