times (n+1) m
If anyone is trying out the tutorial and gets the same error, replace that definition of "times" with
times n m = m :+: (times (n-1) m)
If anyone is trying out the tutorial and gets the same error, replace that definition of "times" with
and you should be good.