『型システムのしくみ』誤植
p.94コード8.2の4行目
numbers(num+1)