Update ch06.lhs