Update ch08.lhs