Update ch03.lhs

#4