Update hw4.lhs