Update ch03.lhs

#3