Update ch05.lhs