Update ch07.lhs